Mostrar el registro sencillo del ítem
Tesis Doctoral
Teoría computacional (en ACL2) sobre cálculos proposicionales
dc.contributor.advisor | Alonso Jiménez, José Antonio | es |
dc.creator | Martín Mateos, Francisco Jesús | es |
dc.date.accessioned | 2014-11-27T11:40:35Z | |
dc.date.available | 2014-11-27T11:40:35Z | |
dc.date.issued | 2002 | es |
dc.identifier.citation | Martín Mateos, F.J. (2002). Teoría computacional (en ACL2) sobre cálculos proposicionales. (Tesis Doctoral Inédita). Universidad de Sevilla, Sevilla. | |
dc.identifier.uri | http://hdl.handle.net/11441/14970 | |
dc.description.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. | es |
dc.format | application/pdf | es |
dc.language.iso | spa | es |
dc.rights | Atribución-NoComercial-SinDerivadas 4.0 España | |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | |
dc.subject | Teoremas | es |
dc.subject | Demostración automática | es |
dc.subject | ACL2 (Lenguaje de programación) | es |
dc.subject | Inteligencia artificial académicas | es |
dc.title | Teoría computacional (en ACL2) sobre cálculos proposicionales | es |
dc.type | info:eu-repo/semantics/doctoralThesis | es |
dcterms.identifier | https://ror.org/03yxnpp24 | |
dc.rights.accessRights | info:eu-repo/semantics/openAccess | |
dc.contributor.affiliation | Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial | es |
idus.format.extent | 301 p. | es |
dc.identifier.idus | https://idus.us.es/xmlui/handle/11441/14970 | |
dc.description.awardwinning | Premio Extraordinario de Doctorado US |
Ficheros | Tamaño | Formato | Ver | Descripción |
---|---|---|---|---|
C_043-389.pdf | 14.09Mb | [PDF] | Ver/ | |