Tesis Doctoral
Teoría computacional (en ACL2) sobre cálculos proposicionales
Autor/es | Martín Mateos, Francisco Jesús |
Director | Alonso Jiménez, José Antonio |
Departamento | Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial |
Fecha de publicación | 2002 |
Fecha de depósito | 2014-11-27 |
Premios | Premio Extraordinario de Doctorado US |
Resumen | 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. |
Cita | Martín Mateos, F.J. (2002). Teoría computacional (en ACL2) sobre cálculos proposicionales. (Tesis Doctoral Inédita). Universidad de Sevilla, Sevilla. |
Ficheros | Tamaño | Formato | Ver | Descripción |
---|---|---|---|---|
C_043-389.pdf | 14.09Mb | [PDF] | Ver/ | |