TY  - BOOK
AU  - Nilsson,Nils J.
TI  - Problem solving methods in artificial intelligence
SN  - 070465738
U1  - 001.535 21
PY  - 1961///
CY  - New York
PB  - McGraw-Hill
KW  - INTELIGENCIA ARTIFICIAL
N1  - Incluye referencias bibliográficas; 1.Introduction -- 2. State-space representations -- 3. State-space search methods -- 4. Problem-reduction representations -- 5. Problem-reduction search methods -- 6. Theorem-proving in the predicate calculus -- 7. Applications of the predicate calculus in problem solving -- 8. Predicate calculus proof-finding methods
ER  -