Логика в решении проблем
Book information
Description
Изложены основы так называемой клауэальной логики, являющейся средством логического программирования. Последнее лежит в основе проектирования ЭВМ пятого поколения, над которыми в настоящее время работают специалисты ряда стран.Для научных работников и инженеров, занимающихся проблемами искусственного интеллекта. Полезна аспирантам и студентам втузов.
Similar books
Основы логического программирования
Функциональное и Логическое Программирование
Основы логического и функционального программирования
Рекурсивно-логическое программирование
Логическое программирование
DOC
TuProlog Guide
RAR
Visual Prolog 7.1 для начинающих