Saila: Sistemas Informáticos y Computación

Fakultatea: Informática

Eremua: Lengoaia eta Sistema Informatikoak

E-maila: pjmartin@ucm.es

Doctor por la Universidad Complutense de Madrid con la tesis Métodos de tableaux para lógicas con declaraciones de términos dominios preordenados y operaciones monótonas 2000. Tesiaren zuzendaria Dr. Antonio Javier Gavilanes Franco.