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/Abrir

Excepto si se señala otra cosa, la licencia del ítem se describe como: Atribución-NoComercial-SinDerivadas 4.0 España