Saila: Sistemas Informáticos y Computación

Fakultatea: Informática

Eremua: Lengoaia eta Sistema Informatikoak

E-maila: agav@ucm.es

Doctor por la Universidad Complutense de Madrid con la tesis Una lógica trivalorada para funciones recursivas parciales 1990. Tesiaren zuzendaria Dr. Mario Rodríguez Artalejo.