Зведений каталог бібліотек Харкова
Вершинин, К. П. Применение системы автоматизированной дедукции для верификации математических текстов. [Текст] / Киевский национальный университет им.Тараса Шевченка // Искусственный интеллект. 3 , 2003. — С.57-69.
- Анотація:
Статья посвящена одному подходу к обработке математического текста в стиле программы "Алгоритм очевидности" (АО) и описывает процедуру вирефикаций текста, реализованную в системе автоматизированной дедукции (САД).
- Є складовою частиною документа:
Искусственный интеллект [Текст] // Искусственный интеллект ; Нац. акад. наук Украины, Ин-т проблем искусств. интеллетка - Донецк : ІПШІ "Наука і освіта" , 2003. — 2003.
- Теми документа