Logic for computer science and artificial intelligence

Podrobná bibliografie
Hlavní autor: Caferra, Ricardo
Médium: Printed Book
Jazyk:English
Vydáno: London ISTE 2011
Témata:
Computer logic
Artificial intelligence
First order logic-predicate logic
Popis
Fyzický popis:xii, 523p.
ISBN:9781848213012

Podobné jednotky