Summa Logicae - Universidad de Salamanca

20 Ene Lógicas modales hoy

Posted at 13:38h in 2) Sistemas Lógicos, Lógica Modal by tonik 0 Comments

Depositado por: Maria Manzano, e-mail: mara@usal.es Depositado el: 28-07-2005 Autor: María Manzano Fecha de creación: 10-03-2005 Página Web: logicae.usal.es/mara Idioma: Español/Spanish Formato: .pdf (Adobe) [ninja_tables id="20672"]...

Read More

20 Ene Lógica multivariada y parcial

Posted at 13:38h in 2) Sistemas Lógicos, Lógica Heterogénea y Parcial by tonik 0 Comments

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"]...

Read More

20 Ene Lógicas descriptivas: lógicas para la red

Posted at 13:38h in 2) Sistemas Lógicos, Lógica Descriptiva by tonik 0 Comments

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"]...

Read More

20 Ene Hybrid logics and the semantic paradigm

Posted at 13:38h in 2) Sistemas Lógicos, Lógica Híbrida by tonik 0 Comments

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"]...

Read More

20 Ene Quantified Hybrid Logic with Non-constant Domains

Posted at 13:38h in 2) Sistemas Lógicos, Lógica Híbrida by tonik 0 Comments

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"]...

Read More

20 Ene Completeness in Hybrid Type Theory

Posted at 13:38h in 2) Sistemas Lógicos, Lógica Híbrida by tonik 0 Comments

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"]...

Read More

20 Ene Modelos Formales de Explicación en Lógica e Inteligencia Artificial

Posted at 13:38h in 2) Sistemas Lógicos, Lógica abductiva by tonik 0 Comments

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"]...

Read More

20 Ene Avances en lógica modal: Introducción a las lógicas híbridas

Posted at 13:38h in 2) Sistemas Lógicos, Lógica Híbrida by tonik 0 Comments

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"]...

Read More

20 Ene «Y en un principio era… la lógica espacial»

Posted at 13:38h in 2) Sistemas Lógicos, Lógica con Diagramas by tonik 0 Comments

Depositado por: , e-mail: Depositado el: 28-07-2005 Autor: Lucila González Pazos Fecha de creación: 20-02-2004 Idioma: Español/Spanish Formato: .pdf (Adobe) [ninja_tables id="20522"]...

Read More

20 Ene Hybrid Type Theory, a Quartet in four Movements

Posted at 13:38h in 2) Sistemas Lógicos, Lógica Híbrida by tonik 0 Comments

Depositado por: Maria Manzano, e-mail: mara@usal.es Depositado el: 18-05-2012 Autor: Carlos Areces, Patrick Blackburn, Antonia Huertas, María Manzano Fecha de creación: 18-05-2012 Página Web: http://www.cfh.ufsc.br/~principi/15-2.html Idioma: Inglés/English Formato: .pdf (Adobe) [ninja_tables id="20788"]...

Read More