TY  - BOOK
AU  - Genesereth, Michael R.
AU  - Nilsson, Nils J.
TI  - Logic foundations of artificial intelligence
SN  - 9780934613316
U1  - 006.3 
PY  - 1988///
CY  - San Francisco
PB  - Morrgan Kaufmann
KW  - Artificial Intelligence
KW  - Computer science
N1  - Bibliography pp 363-400
ER  -