TY  - BOOK
AU  - GENESERETH,MICHAEL R, NILSSON,NILS J
TI  - LOGICAL FOUNDATIONS OF ARTIFICIAL INTELLIGENCE
SN  - KBCS
U1  - 879 
PY  - 1987///
CY  - CALIFORNIA
PB  - MK
N1  - BR-SC 16
ER  -