Помимо потенциального вклада в расширение математического знания автоматическое доказательство теорем считалось также важным для тех ... - Большая Энциклопедия Нефти и Газа
Выдержка из книги
Хоггер К.N.
Введение в логическое программирование
Помимо потенциального вклада в расширение математического знания автоматическое доказательство теорем считалось также важным для тех аспектов искусственного интеллекта, которые связаны с обработкой знаний при помощи логического вывода. Здесь автоматическое доказательство теорем успешно применялось для выполнения таких заданий, как ответы на вопросы, игры, решение задач в пространстве состояний.
