Looking for P Truth

Cordón Franco, Andrés; Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús

Ponencia

dc.creator	Cordón Franco, Andrés
dc.creator	Gutiérrez Naranjo, Miguel Ángel
dc.creator	Pérez Jiménez, Mario de Jesús
dc.date.accessioned	2016-02-12T08:45:17Z
dc.date.available	2016-02-12T08:45:17Z
dc.date.issued	2004
dc.identifier.isbn	84-688-6101-4	es
dc.identifier.uri	http://hdl.handle.net/11441/34639
dc.description.abstract	In a general sense, Logic studies how to derive new pieces of in- formation from previous ones. In this paper we explore the analogies between P systems, where new configurations can be obtained from previous ones by using a set of rules, and the derivation of new theorems from previous ones or from axioms by using inference rules.	es
dc.description.sponsorship	Ministerio de Ciencia y Tecnología TIC2002-04220-C03-01
dc.format	application/pdf	es
dc.language.iso	eng	es
dc.publisher	Fénix Editora	es
dc.relation.ispartof	Proceedings of the Second Brainstorming Week on Membrane Computing, 134-138. Sevilla, E.T.S. de Ingeniería Informática, 2-7 de Febrero, 2004	es
dc.rights	Attribution-NonCommercial-NoDerivatives 4.0 Internacional	*
dc.rights.uri	http://creativecommons.org/licenses/by-nc-nd/4.0/	*
dc.title	Looking for P Truth	es
dc.type	info:eu-repo/semantics/conferenceObject	es
dcterms.identifier	https://ror.org/03yxnpp24
dc.type.version	info:eu-repo/semantics/publishedVersion	es
dc.rights.accessRights	info:eu-repo/semantics/openAccess	es
dc.contributor.affiliation	Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial	es
dc.relation.projectID	TIC2002-04220-C03-01
dc.contributor.group	Universidad de Sevilla. TIC193: Computación Natural
dc.identifier.idus	https://idus.us.es/xmlui/handle/11441/34639
dc.contributor.funder	Ministerio de Ciencia y Tecnología (MCYT). España

Ficheros	Tamaño	Formato	Ver	Descripción
LOGIC_2.pdf	115.8Kb	[PDF]	Ver/Abrir

Este registro aparece en las siguientes colecciones

Mostrar el registro sencillo del ítem

Excepto si se señala otra cosa, la licencia del ítem se describe como: Attribution-NonCommercial-NoDerivatives 4.0 Internacional