1997 г.
Изложены математические и алгоритмические основы интеллектуальных информационных систем: исчисление предиквтов первого порядка, модели представления знаний, выводы на знаниях, нечеткая информация и выводы, нейронные сети, новые методы эвристического поиска решений и приемы программирования задач в системе Турбо-Пролог.
Изложены математические и алгоритмические основы интеллектуальных информационных систем: исчисление предиквтов первого порядка, модели представления знаний, выводы на знаниях, нечеткая информация и выводы, нейронные сети, новые методы эвристического поиска решений и приемы программирования задач в системе Турбо-Пролог.