Fachbereich: Lenguajes y Sistemas Informáticos

Zentrum: Facultad de Informática

Campus: Gipuzkoa

Wissensbereich: Ingenieria y Arquitectura

Bereich: Computersprachen und Computersysteme

War teil dieser gruppen:

Doktor von der Universidad Complutense de Madrid mit der Dissertation Lógica parcial trivalorada. Aproximaciones de primer orden, de orden superior e intuicionista 1994. unter der Leitung von Dr. Mario Rodríguez Artalejo.