Buscar
Mostrando ítems 1-2 de 2
Tesis Doctoral
Teoría computacional (en ACL2) sobre cálculos proposicionales
(2002)
En este trabajo se desarrolla una formalización de sistemas de razonamiento proposicionales y se verifican automáticamente sus principales propiedades en el sistema de demostración automática ACL2.
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 ...