TY  - BOOK
AU  - Genesereth, Michael
AU  - Nilsson, Nils J
TI  - Logical foundations of artificial intelligence
SN  - 0934613311
AV  - Q 335 G37.1988
PY  - 1988///, c1987
CY  - Palo Alto, Calif.
PB  - M. Kaufmann
KW  - Inteligencia artificial
N1  - Incluye índice; Referencias: p. 363-400
ER  -