Departamento
Sistemas Informáticos y Computación
Editoriais (1) Publicacións nas que participase algún/ha investigador/a
2007
-
Higher-Order and Symbolic: Editorial
Higher-Order and Symbolic Computation