ListarTesis (Ciencias de la Computación e Inteligencia Artificial) por materia "Teoría de la demostración"
Mostrando ítems 1-1 de 1
-
Tesis Doctoral
Formalización en Isar de la metalógica de primer orden
(2012-06-12)El objetivo del trabajo es formalizar razonamiento complejo de forma legible por los humanos y procesable por las máquinas. ...