Author Search Results

1

Cover Image

Symbolic computation and automated reasoning : the CALCULEMUS-2000 Symposium edited by Manfred Kerber and Michael Kohlhase.

Published 2001

Other Authors: '; “...Kerber,...”

2

Cover Image

Intelligent Computer Mathematics International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings. / edited by Manfred Kerber, Jacques Carette, Cezary Kaliszyk, Florian Rabe...

Published 2015

Other Authors: '; “...Kerber, Manfred....”
Get full text