Manfred Kerber

M. K. · Manfred Krebernik

A K Peters/CRC Press · Springer

Titel ISBN-13
(ISBN-10)
Erschei-
nungsjahr
andere Autoren
Computational Logic ― CL 2000: First International Conference London, UK, July 24–28, 2000 Proceedings 978-3-540-67797-0
(3-540-67797-6)
2000John Lloyd · Veronica Dahl · Ulrich Furbach · Kung-Kiu Lau · Catuscia Palamidessi · Luis M. Pereira · Yehoshua Sagiv
Intelligent Computer Mathematics: International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings. 978-3-319-20614-1
(3-319-20614-1)
2015Jacques Carette · Cezary Kaliszyk · Florian Rabe · Volker Sorge
Symbolic Computation and Automated Reasoning: The CALCULEMUS-2000 Symposium
978-1-56881-145-1
(1-56881-145-4)
2001Michael Kohlhase

 

Manfred Kerkhoff