Чичигин А. Д. (ИПУ РАН, Отдел информатизации) НЕАКТУАЛЬНАЯ ЗАПИСЬ. Публикации
| № | Библиографическая ссылка | Год | |||
|---|---|---|---|---|---|
Тезисы докладов | |||||
| 1 | Пономарев Г.М., Чичигин А.Д. Система автоматического доказательства теорем на основе исчисления позитивно-образованных формул / . Таганрог: ТТИ ЮФУ, 2009. С. 182-183. | 2009 | |||