Mirian
Andrés Gómez
Ikertzailea 2001-2008 tartean
Julio
Rubio García
CATEDRÁTICO DE UNIVERSIDAD
Julio Rubio García-rekin lankidetzan egindako argitalpenak (6)
2010
-
Contribuciones científicas en honor de Mirian Andrés Gómez
Universidad de La Rioja
2007
-
Executing in Common Lisp, Proving in ACL2.
Lecture Notes in Computer Science, Vol. 4573 LNAI, pp. 1-12
2005
-
Remote access to a Symbolic Computation system for Algebraic Topology: a client-server approach
Lecture Notes in Computer Science, Vol. 3516, Núm. III, pp. 635-642
2004
-
On the role of distributed computing in Symbolic Computation for Algebraic Topology
EACA 2004: Santander, 1-3 julio 2004, Universidad de Cantabria : Actas de los encuentros de álgebra computacional y aplicaciones, 2004
-
On the role of distributed computing in Symbolic Computation for Algebraic Topology
Proceedings EACA 2004 (UNIVERSIDAD DE CANTABRIA), pp. 11-15
2003
-
XML-Based Interoperability Among Symbolic Computation Systems
Proceedings of the IADIS International Conference WWW/Internet 2003. (IADIS Press), pp. 925-928