Mario
RODRÍGUEZ ARTALEJO
Forscher bis um 2018
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.