Обложка Ковальски Р. Логика в решении проблем. Пер. с англ.
Id: 256408

Логика в решении проблем.
Пер. с англ.

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

Аннотация

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

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