Search results for: Julio Rubio
Neuroinformatics > 2019 > 17 > 2 > 253-269
Knowledge and Information Systems > 2018 > 57 > 3 > 495-543
Pattern Recognition Letters > 2016 > 83 > P1 > 23-31
Lecture Notes in Computer Science > Towards Mechanized Mathematical Assistants > Contributions to Calculemus 2007 > 1-12
Lecture Notes in Computer Science > Computer Aided Systems Theory - EUROCAST 2003 > Distributed Computing > 231-242
Lecture Notes in Computer Science > Computational Science and Its Applications - ICCSA 2011 > Workshop on Symbolic Computing for Dynamic Geometry (SCDG 2011) > 384-398
Lecture Notes in Computer Science > Artificial Intelligence and Symbolic Computation > Papers > 222-235
Lecture Notes in Computer Science > Intelligent Computer Mathematics > Contributions to Calculemus 2010 > 204-218
Lecture Notes in Computer Science > Engineering Societies in the Agents World VII > Interaction and Coordination in Agent Societies > 229-244
Lecture Notes in Computer Science > Computer Aided Systems Theory — EUROCAST 2001 > Functional Programming and λ Calculus > 555-569
Lecture Notes in Computer Science > Computational Science – ICCS 2005 > Workshop on “Computer Algebra Systems and Applications, CASA 2005” > 635-642
Lecture Notes in Computer Science > Artificial Intelligence and Symbolic Computation > Contributed Papers and Poster Summaries > 223-226
Lecture Notes in Computer Science > Intelligent Computer Mathematics > CICM Systems and Projects > 295-297
Lecture Notes in Computer Science > Intelligent Computer Mathematics > Contributions to MKM 2010 > 331-335
Lecture Notes in Computer Science > Computer Aided Systems Theory – EUROCAST 2007 > Intelligent Information Processing > 329-336