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