Alonso Jiménez, José Antonio2014-11-272014-11-272002Martín Mateos, F.J. (2002). Teoría computacional (en ACL2) sobre cálculos proposicionales. (Tesis Doctoral Inédita). Universidad de Sevilla, Sevilla.http://hdl.handle.net/11441/14970En 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.application/pdfspaAtribución-NoComercial-SinDerivadas 4.0 Españahttp://creativecommons.org/licenses/by-nc-nd/4.0/TeoremasDemostración automáticaACL2 (Lenguaje de programación)Inteligencia artificial académicasinfo:eu-repo/semantics/doctoralThesisinfo:eu-repo/semantics/openAccess