Intelligent Computer MathematicsSerge Autexier, Jacques Calmet, David Delahaye, P. D. F. Ion, Laurence Rideau · First published 2010Open the Tome
Intelligent Computer Mathematics 10th International Conference Aisc 2010 17th Symposium Calculemus 2010 And 9th International Conference Mkm 2010 Paris France July 510 2010 ProceedingsSerge Autexier · First published 2010Open the Tome
Intelligent Computer Mathematics 9th International Conference Aisc 2008 15th Symposium Calculemus 2008 7th International Conference Mkm 2008 Birmingham Uk July 28 August 1 2008 ProceedingsSerge Autexier · First published 2008Open the Tome
