| Маркер записи | n 22 7 4500 |
| Контрольный номер | RU/IS/BASE/239717239 |
| Дата корректировки | 7:44:35 8 февраля 2023 г. |
| Служба первич. каталог. |
БГТУ БГТУ |
| rus | |
| BY | |
| 510.22 | |
| 02-04 | |
| Герман, О. В. | |
| Построение выводов для противоречивых систем | |
| Библиогр.: 5 назв. | |
|
противоречивые системы теория множеств |
|
| Занько, Д. В. | |
|
Труды Белорусского государственного технологического университета. Серия 6. Физико-математические науки и информатика 2002 Вып. 10. - С. 97-102 |
