Problem solving methods in artificial intelligence / Nils J. Nilsson.
Tipo de material: TextoSeries . McGraw-Hill Computer science seriesDetalles de publicación: New York : McGraw-Hill, 1961Descripción: xiv, 255 pISBN:- 070465738
- 21 001.535
Contenidos:
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.
Tipo de ítem | Biblioteca actual | Signatura topográfica | Estado | Fecha de vencimiento | Código de barras | |
---|---|---|---|---|---|---|
Libro | Biblioteca Manuel Belgrano | 001.535 N 30358 (Navegar estantería(Abre debajo)) | Disponible | 30358 |
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.
No hay comentarios en este titulo.
Ingresar a su cuenta para colocar un comentario.