Logic for computer science and artificial intelligence

Bibliografische gegevens
Hoofdauteur: Caferra, Ricardo
Formaat: Printed Book
Taal:English
Gepubliceerd in: London ISTE 2011
Onderwerpen:
Computer logic
Artificial intelligence
First order logic-predicate logic
LEADER 00678 a2200193 4500
005 20151026133053.0
008 120711t xxu||||| |||| 00| 0 eng d
080 |a 510.6:681.31  |b CAF 
100 |a Caferra, Ricardo   |9 20908 
245 |a Logic for computer science and artificial intelligence  
300 |a xii, 523p. 
653 |a Computer logic 
653 |a Artificial intelligence 
653 |a First order logic-predicate logic 
942 |c BK  |6 _ 
260 |b ISTE  |c 2011  |a London  |9 20909 
020 |a 9781848213012 
999 |c 62574  |d 62574 
952 |0 0  |1 0  |2 udc  |4 0  |6 510668131_CAF  |7 0  |9 75103  |a UL  |b UL  |c GEN  |d 2012-01-19  |e 99  |g 0.00  |o 510.6:681.31 CAF  |p 00066995  |r 2012-01-19  |v 0.00  |w 2012-01-19  |y BK 

Gelijkaardige items