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