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   06-02-2007
*Título   Comentario a "LoTREC: an enviroment for experiencing Kripke semantics" de L. Fariñas y otros
*Autor   Alvaro Felix Garcia
*Fecha de creación   01-02-2007
Página Web  
*Idioma   Español/Spanish
*Formato   .pdf (Adobe)
*Claves Cálculo de tableux semánticos
Tipo Título Archivo Opciones
Resumen Presentación LoTREC.ppt
Documento Comentario a LoTREC LotrecDoc.pdf

     << Atras