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

 
Пошук Відібрані Опис документа
Початкова сторінка Сайт УФД

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

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

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

  • ББК науковий // власність
  • ББК науковий // Інтелектуальна власність
  • ББК науковий // Логічні цінності. Інтелектуальні цінності



Наявність
Установа Кількість Документ на сайті установи
Бібліотека Тернопільського національного економічного університету   Перейти на сайт