Principal   Biblioteca   Software   Enlaces   Glosario   Grupos de trabajo   Administradores
Contactar

:: Biblioteca :: Buscar

*Categoría :: Biblioteca :: Sistemas Lógicos :: Lógica Híbrida
*Depositado por   Maria Manzano, e-mail: mara@usal.es
*Depositado el   21-02-2013
*Título   Completeness in Hybrid Type Theory
*Autor   Areces, C. Blackburn, P. Huertas, A. Manzano, M.
*Fecha de creación   21-02-2013
Página Web   http://link.springer.com/article/10.1007/s10992-012-9260-4
*Idioma   Inglés/English
*Formato   .pdf (Adobe)
*Claves Completud
Teoría de tipos
Lógica híbrida
Tipo Título Archivo Opciones
Documento BHTT.pdf

     << Atras