![Foto de ANA](/img/nophoto.png)
ANA
GIL LUEZAS
Chercheuse jusqu' 2021
Département: Sistemas Informáticos y Computación
Faculté: Informática
Domaine: Lenguajes y Sistemas Informáticos
Docteure à l Universidad Complutense de Madrid avec la thèse Una lógica no estándar admisible para programas funcionales 1990. Dirigée par Dra. María Teresa Hortala González.