Cite
APA Citation
Kohlhase, M., Johansson, M., Miller, B. (. C., Moura, L. d., & Tompa, F. (Eds.) (2020). Intelligent computer mathematics : 9th International Conference, CICM 2016, Bialystok, Poland, july 25-29, 2016. Cham : Springer. http://access.bl.uk/ark:/81055/vdc_100103460617.0x000001