Faculté
Informática
Livres (2) Publications auxquelles un chercheur a participé
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]