-
Синтез управления системой на конечном ориентированном графе
Герман, О. В., Занько, Д. В.
Синтез управления системой на конечном ориентированном графе
Труды Белорусского государственного технологического университета. Серия 6. Физико-математические науки и информатика, 2003, Вып. XI. - С. 24-28
-
Нормализация бинарного ориентированного графа
Занько, Д. В.
Нормализация бинарного ориентированного графа, Текст
Труды Белорусского государственного технологического университета. Серия 6. Физико-математические науки и информатика, 2003, Вып. XI. - С. 29-32
-
Построение выводов для противоречивых систем
Герман, О. В., Занько, Д. В.
Построение выводов для противоречивых систем
Труды Белорусского государственного технологического университета. Серия 6. Физико-математические науки и информатика, 2002, Вып. 10. - С. 97-102
