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
Contributor(s): Resource type: Ressourcentyp: Buch (Online)Book (Online)Language: English Series: SpringerLink Bücher | Springer eBook Collection Computer Science | Lecture notes in computer science ; 9791Publisher: Cham : Springer, 2016Description: Online-Ressource (XIV, 163 p. 21 illus, online resource)ISBN:- 9783319425474
- 006.3
- Q334-342 TJ210.2-211.495
- Q334-342
- TJ210.2-211.495
No physical items for this record