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