Пономарев Григорий Михайлович

Публикации в базе данных Math-Net.Ru

1. Методы автоматизации логического вывода и их применение в управлении динамическими и интеллектуальными системами
   
   Тр. ИММ УрО РАН, 17:2 (2011),  35–52