Un algoritmo de inteligencia artificial. Cladio Gutiérrez
Define inteligencia artificial para desarrollar la solución de problemas y la prueba de teoremas, mediante algoritmos
Autor principal: | |
---|---|
Formato: | Desconocido |
Lenguaje: | Spanish |
Publicado: |
San José, C.R :
EUCR,
1974
|
Materias: |
Sumario: | Define inteligencia artificial para desarrollar la solución de problemas y la prueba de teoremas, mediante algoritmos |
---|---|
Descripción Física: | p. 5-30 |