20 Ene Mundos posibles
Depositado por: , e-mail: Depositado el: 28-07-2005 Autor: Carlos Areces Fecha de creación: 10-06-2005 Página Web: http://www.loria.fr/~areces/ Idioma: Español/Spanish Formato: .pdf (Adobe) [ninja_tables id="20627"]...
Summa Logicae - Universidad de Salamanca
tonik, autor en Summa Logicae - Página 2 de 13
-1
archive,paged,author,author-tonik,author-1,paged-2,author-paged-2,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 Lógica modal computacional
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="20623"]...
20 Ene Partial heterogeneous logic for modal logic
Depositado por: , e-mail: Depositado el: 28-07-2005 Autor: Antonia Huertas Fecha de creación: 01-10-2004 Idioma: Inglés/English Formato: .pdf (Adobe) [ninja_tables id="20599"]...
20 Ene Lógica dinámica
Depositado por: Maria Manzano, e-mail: mara@usal.es Depositado el: 08-02-2007 Autor: María Manzano Fecha de creación: 08-10-2004 Idioma: Español/Spanish Formato: .pdf (Adobe) [ninja_tables id="20648"]...
20 Ene Teoría de la demostración
Depositado por: Maria Manzano, e-mail: mara@usal.es Depositado el: 08-02-2007 Autor: María Manzano Fecha de creación: 07-02-2005 Idioma: Español/Spanish Formato: .pdf (Adobe) [ninja_tables id="20308"]...
20 Ene Lógica Básica Proposicional
Depositado por: Maria Manzano, e-mail: mara@usal.es Depositado el: 28-07-2005 Autor: María Manzano Fecha de creación: 15-01-2005 Idioma: Español/Spanish Formato: .pdf (Adobe) [ninja_tables id="20293"]...
20 Ene «Aplicación de tablas semánticas al estudio de algunas lógicas no clásicas»
Depositado por: , e-mail: Depositado el: 28-07-2005 Autor: Ángel Nepomuceno Fernández Fecha de creación: 03-05-2005 Página Web: Idioma: Español/Spanish Formato: .pdf (Adobe) [ninja_tables id="20507"]...
20 Ene Lógica Intuicionista en tres horas (y pico)
Depositado por: Maria Manzano, e-mail: mara@usal.es Depositado el: 28-07-2005 Autor: J. M. Méndez y F. Salto Fecha de creación: 03-05-2005 Página Web: Idioma: Español/Spanish Formato: .pdf (Adobe) [ninja_tables id="20804"]...
20 Ene Equational Hybrid Type Theory
Depositado por: Maria Manzano, e-mail: mara@usal.es Depositado el: 18-05-2012 Autor: María Manzano, Manuel A. Martins and Antonia Huertas Fecha de creación: 18-05-2012 Página Web: Idioma: Inglés/English Formato: .pdf (Adobe) [ninja_tables id="20802"]...
20 Ene Research Workshop in Hybrid Intensional Logic
Depositado por: Maria Manzano, e-mail: mara@usal.es Depositado el: 13-12-2017 Autor: FFI2013-47126 Fecha de creación: 13-12-2017 Página Web: Idioma: Inglés/English Formato: .pdf (Adobe) [ninja_tables id="20798"]...