Principal   Biblioteca   Software   Enlaces   Glosario   Grupos de trabajo   Administradores
Contactar

:: Biblioteca :: Buscar

*Categoría :: Biblioteca :: Sistemas Lógicos
*Depositado por   , e-mail:
*Depositado el   15-02-2007
*Título   Quantfied Hybrid Logic with Non-constant Domains
*Autor   Antonia Huertas
*Fecha de creación   14-11-2005
Página Web  
*Idioma   Inglés/English
*Formato   .pdf (Adobe)
*Claves Lógica heterogénea
Lógica multivariada
Lógica parcial
Semántica
Sistemas Lógicos
Traduccion
Lógica modal
Lógica híbrida
Tipo Título Archivo Opciones
Resumen Quantfied Hybrid Logic with Non-constant Domains QHL_AH.pdf
Documento Quantfied Hybrid Logic with Non-constant Domains Huertas_QHL.pdf

     << Atras