Aplicación de las unidades de procesamiento gráfico en el diseño e implementación de sistemas de ray tracing
Tesis doctoral de Roberto Torres De Alba La obtención de imágenes que sean indistinguibles de una fotografía es uno de […]
Tesis doctoral de Antonio Gavilanes Franco
Información academica Antonio Gavilanes Franco. Tesis donde Antonio Gavilanes Franco ha sido autor, director o parte del tribunal.
Metodos de tableaux para logicas con declaraciones de terminos dominios preordenados y operaciones monotonas
Tesis doctoral de Pedro Jesús Martin De La Calle Las tesis presenta sistemas de tableaux para tres extensiones de la
Sistemas de tipos puros con universos.
Tesis doctoral de Blas Carlos Ruiz Jimenez Los sistemas de tipo puros con universos propuestos en esta tesis permiten modelar
Programacion logico-funcional con tipos parametricos y generos ordenados.
Tesis doctoral de Jesús Almendros Jimenez Presentamos un lenguaje lógico-funcional con subtipos en el que las reglas de programa consisten
Una logica trivalorada para funciones recursivas parciales
Tesis doctoral de Antonio Gavilanes Franco Datos académicos de la tesis doctoral «Una logica trivalorada para funciones recursivas parciales«