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   18-05-2012
*Título   Equational Hybrid Type Theory
*Autor   María Manzano, Manuel A. Martins and Antonia Huertas
*Fecha de creación   18-05-2012
Página Web  
*Idioma   Inglés/English
*Formato   .pdf (Adobe)
*Claves Equational Hybrid Logic
Teoría de tipos
Identidad
Tipo Título Archivo Opciones
Documento Pa+769-ginas_desdeaim12_EHTT_17Mayo.pdf
Documento aim12_EHTT_LARGE.pdf

     << Atras