Principal   Biblioteca   Software   Enlaces   Glosario   Grupos de trabajo   Administradores
Contactar

:: Biblioteca :: Buscar

*Categoría :: Biblioteca :: Ejercicios :: Lógica Modal
*Depositado por   Maria Manzano, e-mail: mara@usal.es
*Depositado el   28-07-2005
*Título   Modalidades de KB4
*Autor   Alfredo José Villarino y María Manzano
*Fecha de creación   04-05-2004
Página Web  
*Idioma   Español/Spanish
*Formato   .pdf (Adobe)
*Claves Cálculo de tableux semánticos
Lógica modal
Semántica
Kripke

     << Atras