39855

Автор(ов): 

3

Параметры публикации
Тип публикации: 
Тезисы доклада
Название: 
К автоматизации вывода теорем редукции
Наименование конференции: 
Международная научная конференция, посвященная 85-летию академика И.В. Прангишвили «Информационные и компьютерные технологии, моделирование, управление» (Тбилиси, 2015)
Наименование источника: 
Тезисы докладов Международной научной конференции, посвященной 85-летию академика И.В. Прангишвили «Информационные и компьютерные технологии, моделирование, управление» (Тбилиси, 2015)
Город: 
Тбилиси
Издательство: 
ГТУ
Год издания: 
2015
Страницы: 
19
Библиографическая ссылка: 
Васильев С.Н., Дружинин А.Э., Морозов Н.Ю. К автоматизации вывода теорем редукции / Тезисы докладов Международной научной конференции, посвященной 85-летию академика И.В. Прангишвили «Информационные и компьютерные технологии, моделирование, управление» (Тбилиси, 2015). Тбилиси: ГТУ, 2015. С. 19.