Summa Logicae - Universidad de Salamanca

20 Ene Comentario a «Logic Animations» de Jan Jaspar

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

Depositado por: Maria Manzano, e-mail: mara@usal.es Depositado el: 07-02-2007 Autor: Rubén Montero Fecha de creación: 01-02-2007 Página Web: http://staff.science.uva.nl/~jaspars/animations/ Idioma: Español/Spanish Formato: .pdf (Adobe) [ninja_tables id="20824"]...

Read More

20 Ene Comentario a «Pandora» de K. Broda 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: 09-02-2007 Autor: Carlos Muñoz Martín Fecha de creación: 06-02-2007 Página Web: http://www.doc.ic.ac.uk/pandora/ Idioma: Español/Spanish Formato: .pdf (Adobe) [ninja_tables id="20839"]...

Read More

20 Ene Comentario a «Tableau III» de Nik Roberts

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: Almudena Vicente Fecha de creación: 09-02-2007 Página Web: http://logic.philosophy.ox.ac.uk/tableau3/applet.htm Idioma: Español/Spanish Formato: .pdf (Adobe) [ninja_tables id="20844"]...

Read More

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 «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 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 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 «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 Comentario a «Diag Venn» de Eduardo Galán

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: Juan Angel Hernandez Fecha de creación: 01-02-2007 Idioma: Español/Spanish Formato: .pdf (Adobe) [ninja_tables id="20809"]...

Read More

20 Ene Comentario a «Visual ITP» de Raquel Sanchez y «Web ITP» de Manuel Clavel

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: Raquel Sanchez Fecha de creación: 01-02-2007 Página Web: Idioma: Español/Spanish Formato: .pdf (Adobe) [ninja_tables id="20856"]...

Read More