Saila
Sistemas Informáticos y Computación
Liburuak (2) Ikertzaileren baten partaidetza izan duten argitalpenak
2004
-
En apoyo del aprendizaje en la universidad : hacia el espacio europeo de educación superior
Editorial Complutense
-
Métodos de tableaux para lógicas con declaraciones de términos, dominios preordenados y operaciones monótonas
Madrid : [Universidad Complutense], Servicio de Publicaciones, [2004]