Summa Logicae - Universidad de Salamanca

Comentario Software archivos - Summa Logicae

-1

archive,category,category-comentario-software,category-194,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 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

20 Ene Comentario a «Easy Logic» de Fernando Soler 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: Rubén de la Peña Fecha de creación: 01-02-2007 Idioma: Español/Spanish Formato: .pdf (Adobe) [ninja_tables id="20819"]...

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

1
2