Fakultät: Informática

Bereich: Computersprachen und Computersysteme

Doktor von der Universidad Complutense de Madrid mit der Dissertation Un método de aproximaciones finitas en la lógica de primer orden 1978. unter der Leitung von Dr. Baldomero Rubio Segovia.