Alfa-beta deducción

Vista sencilla de ítem
dc.contributor.advisorRiscos Fernández, Agustínes_ES
dc.contributor.authorMárquez González de Audicana, Julioes_ES
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.es_ES
dc.identifier.urihttp://hdl.handle.net/20.500.14454/1515
dc.language.isospaes_ES
dc.publisherUniversidad de Deustoes_ES
dc.subjectMatemáticases_ES
dc.subjectCiencia de los ordenadoreses_ES
dc.subjectInteligencia artificiales_ES
dc.titleAlfa-beta deducciónes_ES
dc.typedoctoral thesises_ES
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