Searching for authors named "Julio Rubio" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Towards a Higher Reasoning Level in Formalized Homological Algebra
by Jesus Aransay, Clemens Ballarin, Julio Rubio — 2003 — 11th Symposium on the Integration of Symbolic Computation and Mechanised Reasoning (Calculemus) (Rome, Italy) (Thérèse Hardin and Renaud Rioboo, eds.), Aracne Editrice, 2003, http://www4.in.tum.de/˜ballarin/publications/calculemus2003.pdf
… Ballarin 2 , and Julio Rubio 1 1 Dpto. de Matemáticas y Computación. Univ. de La Rioja. 26004 Logroño…
Cited by 1 (0 self) – Add To MetaCart

Four approaches to automated reasoning with differential algebraic structures
by Jesús Aransay, Clemens Ballarin, Julio Rubio — 2004 — AISC 2004, LNAI
… , Clemens Ballarin 2 , and Julio Rubio 1 1 Dpto. de Matemáticas y Computación. Univ. de La Rioja. 26004…
Cited by 2 (2 self) – Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB