20 Ene «Una Introducción Filosófica a la Lógica Deóntica»
Depositado por: , e-mail: Depositado el: 28-07-2005 Autor: Carlos A. Oller Fecha de creación: 19-04-2005 Idioma: Español/Spanish Formato: .pdf (Adobe) [ninja_tables id="20642"]...
Summa Logicae - Universidad de Salamanca
2) Sistemas Lógicos archivos - Página 3 de 4 - Summa Logicae
-1
archive,paged,category,category-sistemas-logicos,category-287,paged-3,category-paged-3,wp-theme-bridge,wp-child-theme-bridge-child,cookies-not-set,bridge-core-1.0.4,ajax_fade,page_not_loaded,,qode-title-hidden,qode-child-theme-ver-1.0.0,qode-theme-ver-18.0.8,qode-theme-bridge,disabled_footer_top,qode_advanced_footer_responsive_1000,wpb-js-composer js-comp-ver-7.6,vc_responsive
20 Ene Una introducción a la lógica lineal y comentario al software «llprover» de Naoyuki Tamura
Depositado por: Maria Manzano, e-mail: mara@usal.es Depositado el: 08-02-2007 Autor: Aníbal Chehayeb Fecha de creación: 01-02-2007 Página Web: http://bach.istc.kobe-u.ac.jp/llprover/ Idioma: Español/Spanish Formato: .pdf (Adobe) [ninja_tables id="20624"]...
20 Ene «A Partial and Heterogeneous Mirror for Modality»
Depositado por: Maria Manzano, e-mail: mara@usal.es Depositado el: 28-07-2005 Autor: Antonia Huertas y María Manzano Fecha de creación: 19-04-2005 Idioma: Inglés/English Formato: .pdf (Adobe) [ninja_tables id="20633"]...
20 Ene Lógica multivariada y parcial
Depositado por: Maria Manzano, e-mail: mara@usal.es Depositado el: 13-02-2007 Autor: María Manzano y Antonia Huertas Fecha de creación: 15-01-2005 Página Web: http://logicae.usal.es/mara Idioma: Español/Spanish Formato: .pdf (Adobe) [ninja_tables id="20604"]...
20 Ene Lógicas descriptivas: lógicas para la red
Depositado por: Maria Manzano, e-mail: mara@usal.es Depositado el: 15-02-2007 Autor: Antonia Huertas Fecha de creación: 03-01-2006 Página Web: Idioma: Español/Spanish Formato: .pdf (Adobe) [ninja_tables id="20766"]...
20 Ene Hybrid logics and the semantic paradigm
Depositado por: , e-mail: Depositado el: 15-02-2007 Autor: Antonia Huertas Fecha de creación: 27-06-2005 Página Web: Idioma: Inglés/English Formato: .pdf (Adobe) [ninja_tables id="20775"]...
20 Ene Quantified Hybrid Logic with Non-constant Domains
Depositado por: , e-mail: Depositado el: 15-02-2007 Autor: Antonia Huertas Fecha de creación: 14-11-2005 Página Web: Idioma: Inglés/English Formato: .pdf (Adobe) [ninja_tables id="20773"]...
20 Ene Completeness in Hybrid Type Theory
Depositado por: Maria Manzano, e-mail: mara@usal.es Depositado el: 21-02-2013 Autor: Areces, C. Blackburn, P. Huertas, A. Manzano, M. Fecha de creación: 21-02-2013 Página Web: http://link.springer.com/article/10.1007/s10992-012-9260-4 Idioma: Inglés/English Formato: .pdf (Adobe) [ninja_tables id="20779"]...
20 Ene Modelos Formales de Explicación en Lógica e Inteligencia Artificial
Depositado por: , e-mail: Depositado el: 18-10-2005 Autor: Fernando Soler Fecha de creación: 30-09-2005 Idioma: Español/Spanish Formato: .pdf (Adobe) [ninja_tables id="20519"]...
20 Ene Avances en lógica modal: Introducción a las lógicas híbridas
Depositado por: , e-mail: Depositado el: 28-07-2005 Autor: Carlos Areces Fecha de creación: 01-01-2005 Página Web: http://www.loria.fr/~areces/ Idioma: Español/Spanish Formato: .pdf (Adobe) [ninja_tables id="20785"]...