Logic for computer science and artificial intelligence

Dettagli Bibliografici
Autore principale: Caferra, Ricardo
Natura: Printed Book
Lingua:English
Pubblicazione: London ISTE 2011
Soggetti:
Computer logic
Artificial intelligence
First order logic-predicate logic
Descrizione
Descrizione fisica:xii, 523p.
ISBN:9781848213012

Documenti analoghi