Mostrar el registro sencillo del ítem
Ponencia
Looking for P Truth
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/ | |