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: | |
---|---|
Autor Corporativo: | |
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 |