Обложка Ковальски Р. Логика в решении проблем. (Клаузальная логика как средство логического программирования). Пер. с англ.
Id: 256408
699 руб.

ЛОГИКА В РЕШЕНИИ ПРОБЛЕМ.
(Клаузальная логика как средство логического программирования). Пер. с англ.
Логика в решении проблем. (Клаузальная логика как средство логического программирования). Пер. с англ.

1990. 280 с. ISBN 5-02-014148-8. Букинист. Состояние: 5-.

Аннотация

Изложены основы так называемой клаузальной логики, являющейся средством логического программирования. Последнее лежит в основе проектирования ЭВМ пятого поколения, над которыми в настоящее время работают специалисты ряда стран.

Для научных работников и инженеров, занимающихся проблемами искусственного интеллекта. Полезна аспирантам и стуцентам втузов.