Alfa-beta deducción
Cargando...
Archivos
Fecha
1991-06-11
Título de la revista
ISSN de la revista
Título del volumen
Editor
Universidad de Deusto
Resumen
La presente memoria se enmarca dentro del campo del Razonamiento Automático, una de las áreas más puras de la inteligencia artificial. Su objetivo final consiste en la aplicación de estrategias de Juegos a la demostración automática de fórmulas a partir de otras, esto es, a resolver problemas de deducción.
Palabras clave
Descripción
Materias
Matemáticas
Ciencia de los ordenadores
Inteligencia artificial
Ciencia de los ordenadores
Inteligencia artificial