Problem solving methods in artificial intelligence / Nils J. Nilsson.
Tipo de material:![Texto](/opac-tmpl/lib/famfamfam/BK.png)
- 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 | |
---|---|---|---|---|---|---|
![]() |
Biblioteca Manuel Belgrano | 001.535 N 30358 (Navegar estantería(Abre debajo)) | Disponible | 30358 |
Navegando Biblioteca Manuel Belgrano estanterías Cerrar el navegador de estanterías (Oculta el navegador de estanterías)
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.