TY  - BOOK
AU  - Genesereth,Michael R.
AU  - Nilsson,Nils J.
TI  - Logical foundations of artificial intelligence
SN  - 0934613311 (hbk.)
AV  - Q335 .G46 1987
U1  - 006.3 21
PY  - 1987///
CY  - Los Altos, Calif.
PB  - Morgan Kaufmann
KW  - Artificial intelligence
N1  - Includes bibliographical references and index
UR  - http://www.loc.gov/catdir/description/els032/87005461.html
UR  - http://www.loc.gov/catdir/toc/els031/87005461.html
ER  -