Vista normal Vista MARC Vista ISBD

Nilsson, Nils J., 1933-

Problem solving methods in artificial intelligence / Nils J. Nilsson. - New York : McGraw-Hill, 1961 - xiv, 255 p. - .

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.

ISBN: 070465738

Subjects--Topical Terms:
INTELIGENCIA ARTIFICIAL

Dewey Class. No.: 001.535