TY  - BOOK
AU  - Kowalski, Robert
TI  - Computational logic and human thinking: how to be artificially intelligent
SN  - 9780521123365
U1  - 511.322 
PY  - 2011///
CY  - Delhi
PB  - Cambridge University Press
KW  - 
KW  - Computational intelligence Logic, Symbolic and mathematical -- Famous problems
N1  - includes index
ER  -