Alfa-beta deducción

Vista sencilla de ítem
dc.contributor.advisorRiscos Fernández, Agustín
dc.contributor.authorMárquez González de Audicana, Julio
dc.date.accessioned2024-10-02T15:09:12Z
dc.date.available2024-10-02T15:09:12Z
dc.date.issued1991-06-11
dc.description.abstractLa 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.
dc.identifier.urihttps://hdl.handle.net/20.500.14454/1515
dc.language.isospa
dc.publisherUniversidad de Deusto
dc.subjectMatemáticas
dc.subjectCiencia de los ordenadores
dc.subjectInteligencia artificial
dc.titleAlfa-beta deducción
dc.typedoctoral thesis
Archivos
Bloque original
Mostrando 1 - 1 de 1
Miniatura
Nombre:
5717-19.pdf
Tamaño:
38.91 MB
Formato:
Adobe Portable Document Format
Descargar
Colecciones
Tesis doctorales