TY  - BOOK
AU  - Genesereth,Michael R.
AU  - Nilsson,Nils J.
TI  - Logical foundation of artificial intelligence
SN  - 0934613311
AV  - Q335 G45
PY  - 1987///
CY  - Los altos, california
PB  - M. Kaufmann
KW  - Inteligencia artificial
ER  -