1.
Intelligent Computer Mathematics : International Conference, CICM 2015, Washington, DC, USA,...
by Kerber, Manfred, Carette, J...
ISBN: 9783319206141
List Price: $84.00
2.
Symbolic Computation and Automated Reasoning The Calculemus-2000 Symposium
by Kerber, Manfred, Kohlhase, ...
ISBN: 9781568811451
List Price: $60.00
3.
Intelligent Computer Mathematics : 16th International Conference, CICM 2023, Cambridge, UK, ...
by Dubois, Catherine, Kerber, ...
ISBN: 9783031427527
List Price: $74.99