8556

Автор(ов): 

2

Параметры публикации
Тип публикации: 
Статья в журнале/сборнике
Название: 
Методы автоматизации логического вывода и их применение в управлении динамическими и интеллектуальными системами
Наименование источника: 
Труды института математики и механики УрО РАН
Обозначение и номер тома: 
Т. 17, № 2
Город: 
Екатеринбург
Издательство: 
ИММ УрО РАН
Год издания: 
2010
Страницы: 
35-52
Библиографическая ссылка: 
Васильев С.Н., Пономарев Г.М. Методы автоматизации логического вывода и их применение в управлении динамическими и интеллектуальными системами // Труды института математики и механики УрО РАН. 2010. Т. 17, № 2. С. 35-52.