| Titel | ISBN-13 | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Intelligent Computer Mathematics: 16th Symposium, Calculemus 2009, 8th International Conference, M.K.M. 2009, Grand Bend, Canada, July 6-12, 2009, . . ... Notes in Computer Science, Band 5625) | 978-3-642-02613-3 | 2009 | |
| Intelligent Computer Mathematics | 978-3-642-31373-8 | 2012 | Johan Jeuring · John Campbell · Gabriel Dos Reis · Petr Sojka · Makarius Wenzel · Volker Sorge |
| Intelligent Computer Mathematics: International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings. | 978-3-319-20614-1 | 2015 | Manfred Kerber · Cezary Kaliszyk · Florian Rabe · Volker Sorge |
| Intelligent Computer Mathematics: MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013, Proceedings | 978-3-642-39319-8 | 2013 | David Aspinall · Christoph Lange · Petr Sojka · Wolfgang Windsteiger |