Rule-based methodologies for the specification and analysis of complex computing systems
Tesis doctoral de Michele Baggi From the earliest hardware and software days to the internet era, complexity of computer systems […]
Tesis doctoral de Gines Damian Moreno Valverde
Información academica Gines Damian Moreno Valverde. Tesis donde Gines Damian Moreno Valverde ha sido autor, director o parte del tribunal.
Desplegado de programas lógicos difusos
Tesis doctoral de Jaime Penabad Vázquez El objetivo general de esta tesis es la introducción de un conjunto de transformaciones,
Reglas y estrategias de trasnformación para programas logico-funcionales.
Tesis doctoral de Gines Damian Moreno Valverde El problema de la integración de la programación lógica y funcional esta considerado