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

продать эту книгу
оставить заявку
ошибка в описании

автор: Ковальски, Р.

isbn:5-02-014148-8

издательство: Наука

город, год: Москва, 1990

страниц: 280 стр.

тип обложки: Переплет (твердый)

язык: русский

Никто из пользователей сейчас не
продает эту книгу

Аннотация

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

Рубрикатор

Каталог