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
Mitwirkende(r): Resource type: Ressourcentyp: Buch (Online)Buch (Online)Sprache: Englisch Reihen: SpringerLink Bücher | Springer eBook Collection Computer Science | Lecture notes in computer science ; 9791Verlag: Cham : Springer, 2016Beschreibung: 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
Dieser Titel hat keine Exemplare