Autexier, Serge books & textbook
Intelligent Computer Mathematics: 9th International Conference, AISC 2008 15th Symposium, Calculemus 2008 7th International Conference, MKM 2008 ... (Lecture Notes in Computer Science, 5144)
Autexier, Serge Campbell, John Rubio, Julio Sorge, Volker Suzuki, Masakazu Wiedijk, Freek
Springer /2008-07-16 Paperback / 616 Pages
isbn-10: 3540851097 / isbn-13: 9783540851097
Intelligent Computer Mathematics: 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM ... (Lecture Notes in Computer Science, 6167)
Autexier, Serge Calmet, Jacques Delahaye, David Ion, P.D.F. Rideau, Laurence Rioboo, Renaud Sexton, Alan
Springer /2010-06-30 Paperback / 486 Pages
isbn-10: 3642141277 / isbn-13: 9783642141270
