Riscos Fernández, AgustínMárquez González de Audicana, Julio2024-10-022024-10-021991-06-11http://hdl.handle.net/20.500.14454/1515La 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.spaMatemáticasCiencia de los ordenadoresInteligencia artificialdoctoral thesis