TY  - BOOK
AU  - Nilsson,Nils
TI  - Principles of artificial intelligence
T2  - Symbolic computation. Artificial intelligence
SN  - 3540113401
PY  - 1982///
CY  - Berlín
PB  - [S.n.]
KW  - INTELIGENCIA ARTIFICIAL
N1  - Incluye bibliografía e índice de autores. --;  Production systems and AI -- Search strategies for AI production systems -- Search strategies for decomposable production systems -- The predicate calculus in AI -- Resolution refutation systems -- Rule-based deduction systems -- Basic plan-generating systems -- Advanced plan-generating systems -- Structured object representations
ER  -