Intelligent Computer Mathematics: 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings (Lecture Notes in Computer Science) by Michael Kohlhase
English | 12 July 2016 | ISBN: 3319425463 | 180 Pages | PDF (True) | 7.44 MB
