Alfa-beta deducción

Autores: Julio Márquez González de Audicana
Directores de la Tesis: Agustín Riscos Fernández (dir. tes.)
Lectura: En la Universidad de Deusto ( España ) en 1991
Idioma: español
Número de páginas: 153
Enlaces
- Tesis en acceso abierto en: hdl.handle.net
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.