Logic for computer science and artificial intelligence

Bibliografiska uppgifter
Huvudupphovsman: Caferra, Ricardo
Materialtyp: Printed Book
Språk:English
Publicerad: London ISTE 2011
Ämnen:
Computer logic
Artificial intelligence
First order logic-predicate logic
Beskrivning
Fysisk beskrivning:xii, 523p.
ISBN:9781848213012

Liknande verk