Principal   Biblioteca   Software   Enlaces   Glosario   Grupos de trabajo   Administradores
Contactar

:: Biblioteca :: Buscar

*Categoría   :: Biblioteca :: Estudios de la Lógica
*Depositado por   Maria Manzano, e-mail: mara@usal.es
*Depositado el   28-07-2005
*Título   Actas del Simposio C@lculus
*Autor   María Manzano, coordinadora
Editorial   Summa Logicae XXI
*Fecha de creación   04-11-2004
Página Web   http://gramola.fyl.uva.es/~wfilosof/XIIIjor.htm
Código  
*Idioma   Español/Spanish
*Formato   .pdf (Adobe)
*Claves
Tipo Título Archivo Opciones
Indice Cartel del simposio c@lculus.pdf
Parte Huberto Marraud. La complejidad estructural del razonamiento inductivo. MarraudLa_complejidad_estructural.pdf
Parte Antonia Huertas, Mara Manzano y Gustavo Santos. Un Cálculo Heterogneo Parcial para Lógica Modal de Predicados c@lculus-huertasmanzanosantos.pdf
Parte Mara Manzano y Enrique Alonso. Summa Logicae SummaLogicaeValladolid.pdf
Parte Enrico Marchioni. Some Notes on Preferential Consequence Relations in the Framework of Coherent Conditional Probability C@lculus-Marchioni.pdf
Parte Gustavo Santos, Mara Manzano y Antonia Huertas. Lógica modal con Maude (I) c@lculus-manzanohuertassantos1.pdf
Parte Gustavo Santos, Mara Manzano y Antonia Huertas. Lógica modal con Maude (II) c@lculus-manzanohuertassantos2.pdf
Parte Julio Ostalé. Las lógicas locales de Barwise y Seligman OstaleSLMFCE.doc
Parte Enrique Alonso. Perspectivas teóricas en I.A. Perspectivas_teóricas_en_Inteligencia_Artificial.pdf
Parte Alberto Rubio: Mente extendida, cognición social distribuida y maquinas de Turing. A_Rubio_c@lculus.pdf
Indice Lista de ponentes y sus ponencias Simposio_C.pdf

     << Atras