Зведений каталог бібліотек Харкова

 

Вершинин, К. П.
    Применение системы автоматизированной дедукции для верификации математических текстов. [Текст] / Киевский национальный университет им.Тараса Шевченка // Искусственный интеллект. 3 , 2003. — С.57-69.


- Анотація:

Статья посвящена одному подходу к обработке математического текста в стиле программы "Алгоритм очевидности" (АО) и описывает процедуру вирефикаций текста, реализованную в системе автоматизированной дедукции (САД).

- Є складовою частиною документа:

- Теми документа

  • УДК // Математична логіка
  • УДК // Рішення проблем



Наявність
Установа Кількість Документ на сайті установи
Науково-технічна бібліотека Національного аерокосмічного університету ім. М.Є. Жуковського   Перейти на сайт