00518nam a2200169 a 450000500170000002000180001708200170003510000240005224500790007626000440015530000270019950000190022660000080024563000830025385600060033685600060034220251219155939.0  a9780521123365  a511.322bKOW  aKowalski, Robertd_  aComputational logic and human thinkingbhow to be artificially intelligent  aDelhibCambridge University Pressc2011  axxii, 310p.c22cm.bPB  aincludes index  bc_  aComputational intelligence Logic, Symbolic and mathematical -- Famous problems  f_  a_