Сайт библиотеки БГТУ Сайт БГТУ Электронная библиотека БГТУ
  1. Базы данных
  2. Труды сотрудников БГТУ
  3. Построение выводов для противоречивых систем
Поиск

Построение выводов для противоречивых систем

Авторы: Герман, О. В. Занько, Д. В.
Местонахождение Подробная информация
Построение выводов для противоречивых систем
Труды Белорусского государственного технологического университета. Серия 6. Физико-математические науки и информатика
2002
Вып. 10. - С. 97-102