RAFAEL DEL
VADO VIRSEDA
Profesor contratado doctor
Dissertation
-
Un esquema de programación lógico-funcional con restriccionesmarco teórico y aplicación a la depuración declarativa 2009
Universidad Complutense de Madrid