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

Detalles Bibliográficos
Autor principal: Gutiérrez, Claudio
Formato: Desconocido
Lenguaje:Spanish
Publicado: San José, C.R : EUCR, 1974
Materias:
LEADER 00793na aa2200217a 44500
001 UNA01000210481
005 20120328203209.0
008 080728s 00010 spa d
040 |a Sistema de Bibliotecas de la Universidad Nacional de Costa Rica 
041 |a spa 
082 |a R020446 
100 1 |a Gutiérrez, Claudio 
245 1 3 |a Un algoritmo de inteligencia artificial. Cladio Gutiérrez 
260 |a San José, C.R :  |b EUCR,  |c 1974 
300 |b p. 5-30 
520 |a Define inteligencia artificial para desarrollar la solución de problemas y la prueba de teoremas, mediante algoritmos 
650 4 |a INFORMATICA 
650 4 |a INTELIGENCIA ARTIFICIAL 
650 4 |a MATEMATICAS 
773 |t Revista de filosofía de la Universidad de Costa Rica. Vol. 12, No. 34 (Ene.-jun.) 
852 |a CIDCSO