Por motivos de mantenimiento se ha deshabilitado el inicio de sesión temporalmente. Rogamos disculpen las molestias.
Ponencia
Looking for P Truth
Autor/es | Cordón Franco, Andrés
Gutiérrez Naranjo, Miguel Ángel Pérez Jiménez, Mario de Jesús |
Departamento | Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial |
Fecha de publicación | 2004 |
Fecha de depósito | 2016-02-12 |
Publicado en |
|
ISBN/ISSN | 84-688-6101-4 |
Resumen | 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 ... 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. |
Agencias financiadoras | Ministerio de Ciencia y Tecnología (MCYT). España |
Identificador del proyecto | TIC2002-04220-C03-01 |
Ficheros | Tamaño | Formato | Ver | Descripción |
---|---|---|---|---|
LOGIC_2.pdf | 115.8Kb | [PDF] | Ver/ | |