
cover from: Google Books
Intelligent Computer Mathematics : 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings
edited by Michael Kohlhase, Moa Johansson, Bruce Miller, Leonardo de Moura, Frank Tompa.
2016
186364
isbn:9783319425474