Presentation
Looking for P Truth
Author/s | Cordón Franco, Andrés
![]() ![]() ![]() ![]() ![]() ![]() ![]() Gutiérrez Naranjo, Miguel Ángel ![]() ![]() ![]() ![]() ![]() ![]() ![]() Pérez Jiménez, Mario de Jesús ![]() ![]() ![]() ![]() ![]() ![]() ![]() |
Department | Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial |
Date | 2004 |
Published in |
|
ISBN/ISSN | 84-688-6101-4 |
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 ... 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. |
Funding agencies | Ministerio de Ciencia y Tecnología (MCYT). España |
Project ID. | TIC2002-04220-C03-01
![]() |
Files | Size | Format | View | Description |
---|---|---|---|---|
LOGIC_2.pdf | 115.8Kb | ![]() | View/ | |