Departamento: Sistemas Informáticos y Computación

Facultad: Informática

Área: Linguaxes e Sistemas Informáticos

Correo el.: pjmartin@ucm.es

Doutor pola Universidad Complutense de Madrid coa tese Métodos de tableaux para lógicas con declaraciones de términos dominios preordenados y operaciones monótonas 2000. Dirixida por Dr. Antonio Javier Gavilanes Franco.