TY  - BOOK
AU  - GENESERETH M.R. &  NILSSON N.J.
TI  - LOGICAL FOUNDATIONS OF ARTIFICIAL INTELLIGENCE
SN  - 0000934613311
U1  - 006.3 
PB  - TOKYO : MORGAN KAUFMANN
KW  - ARTIFICIAL INTELLIGENCE
ER  -