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

相似書籍