Summa Logicae - Universidad de Salamanca

20 Ene Comentario a «LoTREC: an enviroment for experiencing Kripke semantics» de L. Fariñas y otros

Posted at 13:38h in 4) Aplicaciones, Comentario Software by tonik 0 Comments

Depositado por: Maria Manzano, e-mail: mara@usal.es Depositado el: 06-02-2007 Autor: Alvaro Felix Garcia Fecha de creación: 01-02-2007 Idioma: Español/Spanish Formato: .pdf (Adobe) [ninja_tables id="20829"]...

Read More

20 Ene Comentario a «De la Computabilidad a la Hipercomputación» de Enrique Alonso

Posted at 13:38h in 4) Aplicaciones, Lógica e Informática by tonik 0 Comments

Depositado por: Maria Manzano, e-mail: mara@usal.es Depositado el: 07-02-2007 Autor: Alberto Pastor Fecha de creación: 01-02-2007 Página Web: Idioma: Español/Spanish Formato: .pdf (Adobe) [ninja_tables id="20880"]...

Read More

20 Ene Comentario a «Modelos de Kripke» de Ana de la Viuda

Posted at 13:38h in 4) Aplicaciones, Comentario Software by tonik 0 Comments

Depositado por: Maria Manzano, e-mail: mara@usal.es Depositado el: 08-02-2007 Autor: Ana de la Viuda Fecha de creación: 08-02-2007 Página Web: Idioma: Español/Spanish Formato: .pdf (Adobe) [ninja_tables id="20834"]...

Read More

20 Ene Cruce de Ideas

Posted at 13:38h in 4) Aplicaciones, Lógica e Informática by tonik 0 Comments

Depositado por: , e-mail: Depositado el: 31-10-2005 Autor: Enrique Alonso Fecha de creación: 31-10-2005 Página Web: Idioma: Español/Spanish Formato: .pdf (Adobe) [ninja_tables id="20882"]...

Read More

20 Ene Comentario a «Traductor de lógica multivariada a lógica de primer orden» de José Escuadra Burrieza

Posted at 13:38h in 4) Aplicaciones, Comentario Software by tonik 0 Comments

Depositado por: Maria Manzano, e-mail: mara@usal.es Depositado el: 09-02-2007 Autor: Carlos de Tapia Fecha de creación: 06-02-2007 Página Web: http://logicae.usal.es Idioma: Español/Spanish Formato: .pdf (Adobe) [ninja_tables id="20849"]...

Read More

20 Ene Comentario a «La Bella y la Bestia» de María Manzano

Posted at 13:38h in 4) Aplicaciones, Lógica e Informática by tonik 0 Comments

Depositado por: Maria Manzano, e-mail: mara@usal.es Depositado el: 06-02-2007 Autor: Faustino Frechilla Fecha de creación: 01-02-2007 Página Web: Idioma: Español/Spanish Formato: .pdf (Adobe) [ninja_tables id="20889"]...

Read More

20 Ene MAFIA: Resolución de Tableaux Semánticos

Posted at 13:38h in 4) Aplicaciones, Comentario Software by tonik 0 Comments

Depositado por: Maria Manzano, e-mail: mara@usal.es Depositado el: 05-02-2007 Autor: Elena Jorge Fecha de creación: 01-02-2007 Idioma: Español/Spanish Formato: .doc (Word) [ninja_tables id="20861"]...

Read More

20 Ene Comentario a «Lógicas para la red» de Antonia Huertas

Posted at 13:38h in 4) Aplicaciones, Lógica e Informática by tonik 0 Comments

Depositado por: Maria Manzano, e-mail: mara@usal.es Depositado el: 06-02-2007 Autor: Israel García Sánchez Fecha de creación: 01-02-2007 Página Web: Idioma: Español/Spanish Formato: .pdf (Adobe) [ninja_tables id="20891"]...

Read More

20 Ene Comentario a «Diagramas Alfa de Peirce» de Ignacio Paredes

Posted at 13:38h in 4) Aplicaciones, Comentario Software by tonik 0 Comments

Depositado por: Maria Manzano, e-mail: mara@usal.es Depositado el: 06-02-2007 Autor: Gonzalo Gascón Fecha de creación: 01-02-2007 Idioma: Español/Spanish Formato: .pdf (Adobe) [ninja_tables id="20814"]...

Read More

20 Ene Lucha de clases en el escritorio: GUI vs CLI

Posted at 13:38h in 4) Aplicaciones, Lógica e Informática by tonik 0 Comments

Depositado por: , e-mail: Depositado el: 02-03-2006 Autor: Javier Taravilla Herrera Fecha de creación: 23-09-2005 Página Web: Idioma: Español/Spanish Formato: .doc (Word) [ninja_tables id="20893"]...

Read More