| Titel | Art | | ISBN-13 | Erschei-
nungsjahr | andere Autoren |
|---|
| Intelligent Computer Mathematics: 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings | Taschenbuch | | 978-3-319-42546-7 | 2016 | Moa Johansson · Bruce Miller · Leonardo de Moura · Frank Tompa |
| Intelligent Computer Mathematics: 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings | Paperback | | 978-3-319-42548-1 | 2016 | Moa Johansson · Bruce Miller · Leonardo de Moura · Frank Tompa |
| KI 2006: Advances in Artificial Intelligence: 29th Annual German Conference on AI, KI 2006, Bremen, Germany, June 2006 Proceedings: 29th Annual German ... Notes in Computer Science , Band 4314) | Taschenbuch | | 978-3-540-69911-8 | 2008 | Christian Freksa · Kerstin Schill |
| Mathematical Knowledge Management: 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers | " | | 978-3-540-31430-1 | 2008 |
| Omdoc - An Open Markup Format For Mathematical Documents : Foreword By Alan Bundy | " | | 978-3-540-37897-6 | 2006 |
| Symbolic Computation and Automated Reasoning: The CALCULEMUS-2000 Symposium | Hardcover | | 978-1-56881-145-1 | 2001 | Manfred Kerber |