Principal   Biblioteca   Software   Enlaces   Glosario   Grupos de trabajo   Administradores
Contactar

:: Biblioteca :: Buscar

*Categoría :: Biblioteca :: Aplicaciones :: Comentario Software
*Depositado por   Maria Manzano, e-mail: mara@usal.es
*Depositado el   05-02-2007
*Título   MAFIA: Resolución de Tableaux Semánticos
*Autor   Elena Jorge
*Fecha de creación   01-02-2007
Página Web  
*Idioma   Español/Spanish
*Formato   .doc (Word)
Comentario #1
06-02-2007 		Maria Manzano mara@usal.es
"Esta aplicación esta disponible en el apartado de software de http://logicae.usal.es"
*Claves Árbol
Cálculo de tableux semánticos
Consecuencia
Consistencia
Tautología
Tipo Título Archivo Opciones
Resumen MAFIA Mafia.ppt
Documento Mafia: comentario ElenaJorgeMafia.doc

     << Atras