ANA
GIL LUEZAS
Chercheuse jusqu {1}
Thèse de doctorat
-
Una lógica no estándar admisible para programas funcionales 1990
Universidad Complutense de Madrid
Thèses dirigées (1)
-
Programación lógico-funcional con tipos paramétricos y géneros ordenados 1999
Universidad Complutense de Madrid
Almendros Jiménez, Jesús Manuel
Jurys de thèses (1)
-
Une secrétaire du jury
Programación funcional y lógica con restricciones 1994Universidad Complutense de Madrid