Mario
RODRÍGUEZ ARTALEJO
Investigador fins a 2018
Facultat: Informática
Àrea: Llenguatges i Sistemes Informàtics
Doctor per la Universidad Complutense de Madrid amb la tesi Un método de aproximaciones finitas en la lógica de primer orden 1978. Dirigida per Dr. Baldomero Rubio Segovia.