Mario
RODRÍGUEZ ARTALEJO
Investigador ata 2018
Facultad: Informática
Área: Linguaxes e Sistemas Informáticos
Doutor pola Universidad Complutense de Madrid coa tese Un método de aproximaciones finitas en la lógica de primer orden 1978. Dirixida por Dr. Baldomero Rubio Segovia.