Search

Author/Creator CICM (Conference), 9th

2. 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) ↗

Limit your search