Languages
Kohlhase, Michael.
Overview
| Works: | 0 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Intelligent computer mathematics = 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016 : proceedings /
by:
Kohlhase, Michael.; SpringerLink (Online service)
(Electronic resources)
Subjects