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