D. M. · L.D. · L.M. · Leonardo Moura
| Titel | Art | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|---|
| Formal Methods: Foundations and Applications: 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013. Proceedings | Taschenbuch | 978-3-642-41070-3 (3-642-41070-7) | 2013 | Juliano Iyoda |
| Intelligent Computer Mathematics: 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings | " | 978-3-319-42546-7 (3-319-42546-3) | 2016 | Michael Kohlhase · Moa Johansson · Bruce Miller · 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 · Moa Johansson · Bruce Miller · Frank Tompa |