Mario
RODRÍGUEZ ARTALEJO
Chercheur jusqu' 2018
Faculté: Informática
Domaine: Lenguajes y Sistemas Informáticos
Docteur à l Universidad Complutense de Madrid avec la thèse Un método de aproximaciones finitas en la lógica de primer orden 1978. Dirigée par Dr. Baldomero Rubio Segovia.