Management of Mathematical Knowledge
Mathematics in Computer Science,
Manfred Kerber, ed.,
2008
Available: BiBTeXFurther Info.
Proceedings Calculemus/MKM, Towards Mechanized Mathematical Assistants
Springer, Hagenberg, Austria
Manuel Kauers, Manfred Kerber, Robert Miner, Wolfgang Windsteiger, eds.,
2007
Proceedings of IJCAR Workshop on Future Directions in Automated Reasoning Manfred Kerber, ed.,
2001
Available: BiBTeXFurther Info.
Special Issue on ``Computer Algebra and Mechanized Reasoning''
Journal of Symbolic Computation,
Tomás Recio, Manfred Kerber, eds.,
2001
Available: BiBTeXFurther Info.
Symbolic Calculation and Automated Reasoning: The CALCULEMUS-2000 Symposium
A K Peters, St Andrews, Scotland
Manfred Kerber, Michael Kohlhase, eds.,
2001
Available: BiBTeXFurther Info.
Computational Logic - CL 2000, First International Conference
Springer, London, England
John Lloyd, Veronica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Liu Lau, Catuscia Palmidessi, Luís Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey, eds.,
2000
Available: BiBTeXFurther Info.
Proceedings of the Sixth Automated Reasoning Workshop - Bridging the Gap between Theory and Practice
Edinburgh, Scotland
Manfred Kerber, ed.,
1999
Available: BiBTeXFurther Info.
Proceedings of CADE-15 Workshop on Mechanization of Partial Functions
Lindau, Germany
Manfred Kerber, ed.,
1998
Available: BiBTeXFurther Info.
Proceedings of CADE-13 Workshop on Mechanization of Partial Functions
New Brunswick, New Jersey, USA
William Farmer, Manfred Kerber, Michael Kohlhase, eds.,
1996
Available: BiBTeXFurther Info.
Proceedings of ECAI-96 Workshop on the Representation of Mathematical Knowledge
Budapest, Hungary
Herbert Stoyan, Karsten Homann, Sabine Jacob, Manfred Kerber, eds.,
1996
Available: BiBTeXFurther Info.
Proceedings of the ECAI-Workshop From Theorem Provers to Mathematical Assistants
Amsterdam, Netherlands
Fausto Giunchiglia, Manfred Kerber, Dominique Pastre, eds.,
1994
Available: BiBTeX
