Logic for computer science and artificial intelligence

Библиографические подробности
Главный автор: Caferra, Ricardo
Формат: Printed Book
Язык:English
Опубликовано: London ISTE 2011
Предметы:
Computer logic
Artificial intelligence
First order logic-predicate logic
Описание
Объем:xii, 523p.
ISBN:9781848213012

Схожие документы