Гудаев О.А. Проектирование интеллектуальных робототехнических систем с переключаемыми стратегиями автоматического доказательства теорем / О.А. Гудаев // Искусственный интеллект. – 2005. – № 2. – С.82–95
Складова документа:
Искусственный интеллект : научно-теоретический журнал. № 2 / НАНУ, Ин-т проблем искусственного интеллекта НАН Украины // Искусственный интеллект. – Донецк, 2005
Анотація:
В статье изложен подход к проектированию центрального модуля интеллектуальной робототехнической системы на базе автоматического доказательства теорем с переключаемыми стратегиями логического вывода