Facultad
Informática
Libros (2) Publicaciones en las que ha participado algún/a investigador/a
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]