ISBN 3642393195 books & textbook
Intelligent Computer Mathematics: MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013, Proceedings (Lecture Notes in Artificial Intelligence)
Carette, Jacques Aspinall, David Lange, Christoph Sojka, Petr Windsteiger, Wolfgang
Springer /2013-07-22 Paperback / 400 Pages
isbn-10: 3642393195 / isbn-13: 9783642393198