Resumen de Alfa-beta deducción

Julio Márquez González de Audicana

• 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.