Teoría computacional (en ACL2) sobre cálculos proposicionales

Author/s	Martín Mateos, Francisco Jesús
Director	Alonso Jiménez, José Antonio
Department	Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial
Date	2002
Awards	Premio Extraordinario de Doctorado US
Abstract	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.
Citation	Martín Mateos, F.J. (2002). Teoría computacional (en ACL2) sobre cálculos proposicionales. (Tesis Doctoral Inédita). Universidad de Sevilla, Sevilla.