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
Main Author: | |
---|---|
Corporate Author: | |
Format: | Unknown |
Language: | Spanish |
Published: |
San José, C.R :
EUCR, 1974
|
Subjects: |
Summary: | Define inteligencia artificial para desarrollar la solución de problemas y la prueba de teoremas, mediante algoritmos |
---|---|
Physical Description: | p. 5-30 |