1. Intelligent computer mathematics : 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016. Proceedings /: 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016. Proceedings. (2016) Editors: Kohlhase, Michael, 1964-; Johansson, Moa; Miller, Bruce; Moura, Leonardo de; Tompa, Frank Other Names: CICM (Conference), 9th Record Type: Book Extent: 1 online resource (xv, 384 pages), illustrations (black and white) View Content: Available online (eLD content is only available in our Reading Rooms) ↗