Пономарев Г. М. (ИПУ РАН, Лаборатория 63) НЕАКТУАЛЬНАЯ ЗАПИСЬ. Публикации

№Библиографическая ссылкаГод

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

Доклады
3Пономарев Г.М. Автоматизация исследования модельных аналогий на основе частично формализованных языков / . -: -, 2010. С. 229-232.2010

Тезисы докладов
4Пономарев Г.М., Чичигин А.Д. Система автоматического доказательства теорем на основе исчисления позитивно-образованных формул / . Таганрог: ТТИ ЮФУ, 2009. С. 182-183.2009