Зведений каталог бібліотек Харкова
Асельдеров, З. М. Организация базы данных в системе автоматического доказательства теорем САД. [Текст] / Национальный технический университет Украины "КПИ". г.Киев, Украина // Искусственный интеллект. — 2006. — №4. — С. 353-360.
- Анотація:
В работе приводится сетевая модель базы знаний для представления знаний в системе автоматического доказательства теорем САД. Рассматриваются необходимые свойства такого представления, очерчиваются напрвления будущих исследований.
- Є складовою частиною документа:
Искусственный интеллект [Текст]. — 2006. — №4.
- Теми документа
