| Titel | Art | ISBN-13 (ISBN-10) | 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 (3-319-42546-3) | 2016 | Michael Kohlhase · 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 (3-319-42548-X) | 2016 | Michael Kohlhase · Bruce Miller · Leonardo de Moura · Frank Tompa |