| Titel | ISBN-13 | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Artificial Intelligence, Automated Reasoning, and Symbolic Computation: Joint International Conferences, AISC 2002 and Calculemus 2002 Marseille, ... Notes in Computer Science , Band 2385) | 978-3-540-43865-6 | 2008 | Olga Caprotti · Jacques Calmet · Laurent Henocque · Belaid Benhamou |
| Intelligent Computer Mathematics: 9th International Conference, AISC 2008 15th Symposium, Calculemus 2008 7th International Conference, MKM 2008 ... Notes in Computer Science , Band 5144) | 978-3-540-85109-7 | 2008 | Serge Autexier · John Campbell · Julio Rubio · Masakazu Suzuki · Freek Wiedijk |
| Intelligent Computer Mathematics | 978-3-642-31373-8 | 2012 | Johan Jeuring · John Campbell · Jacques Carette · Gabriel Dos Reis · Petr Sojka · Makarius Wenzel |
| Intelligent Computer Mathematics: International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings. | 978-3-319-20614-1 | 2015 | Manfred Kerber · Jacques Carette · Cezary Kaliszyk · Florian Rabe |