Buscar
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. Más precisamente, formalizar en el sistema de razonamiento Isabelle/HOL/Isar la metateoría de la ...