 | 2007 |
|---|
| 4 |       | Mirian Andrés,
Laureano Lambán,
Julio Rubio:
Executing in Common Lisp, Proving in ACL2.
Calculemus/MKM 2007: 1-12 |
| 2005 |
|---|
| 3 | | Mirian Andrés,
Vico Pascual,
Ana Romero,
Julio Rubio:
Remote Access to a Symbolic Computation System for Algebraic Topology: A Client-Server Approach.
International Conference on Computational Science (3) 2005: 635-642 |
| 2003 |
|---|
| 2 |  | Raúl Izquierdo Castanedo,
Francisco José García Izquierdo,
Mirian Andrés,
Aquilino A. Juan Fuente,
P. Manrubia:
JST: Towards a Usable Web Site Development Method.
ICWI 2003: 515 |
| 1 | | Mirian Andrés,
Francisco José García Izquierdo,
Vico Pascual,
Julio Rubio:
XML-Based Interoperability Among Symbolic Computation Systems.
ICWI 2003: 925-928 |
Data released under the ODC-BY 1.0 license — See also our legal information page