Principal   Biblioteca   Software   Enlaces   Glosario   Grupos de trabajo   Administradores
Contactar

:: Biblioteca :: Buscar

*Categoría   :: Biblioteca :: Sistemas Lógicos :: Lógica Híbrida
*Depositado por   , e-mail:
*Depositado el   28-07-2005
*Título   Avances en lógica modal: Introducción a las lógicas híbridas
*Autor   Carlos Areces
*Fecha de creación   01-01-2005
Página Web   http://www.loria.fr/~areces/
*Idioma   Español/Spanish
*Formato   .pdf (Adobe)
*Claves Beth
Completud
Correspondencia
Decidible
Interpolacion
Lógica modal
Traduccion
Van Benthem
Tipo Título Archivo Opciones
Sesion Avances en lógica modal: Introducción a la lógica híbrida areces-hybrid.logics.pdf
Sesion Bonito cartel de anuncio Cartel_Areces1.pdf

     << Atras