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.
Towards an Open System for Theorem Proving
Calculemus Web Page; editor: Arjeh M. Cohen
Manfred Kerber,
1998
Available: BiBTeXpdfPostScript
Generalisation in Mathematical Induction from a Second-Order Point of View
Proceedings of the Poster Session, IJCAI-97
Manfred Kerber,
1997
Available: BiBTeXpdfPostScript
Die Beweisentwicklungsumgebung Omega-MKRP
Informatik - Forschung und Entwicklung, 11, pages 20-26
Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg Siekmann,
1996
Available: BiBTeXpdfPostScript
Inferenzverfahren
Wörterbuch der Kognitionswissenschaft; editor: Gerhard Strube, pages 267-275
Manfred Kerber, Jörg Siekmann,
1996
Available: BiBTeXpdfPostScript
A Call for Standardising Input and Output Formats of Deduction Systems
Workshop-Proceedings AISB-96, Workshop on
``Automated Reasoning: Bridging the Gap between Theory and Practice''; editor: Ian Gent, pages 29-30
Manfred Kerber,
1996
Available: BiBTeXpdfPostScript
Common Syntax of the DFG-Schwerpunktprogram ``Deduktion''
Universität Karlsruhe, Fakultät für Informatik. Interner Bericht, 10/96
Reiner Hähnle, Manfred Kerber, Christoph Weidenbach,
1996
Available: BiBTeXpdfPostScript
What Can QED Offer to Mathematics?
Proceedings of the QED Workshop II; editor: Roman Matuszewski, pages 39-40, Technical Report No. L/1/95, Warsaw University -
Białystok Campus, URL: linkManfred Kerber,
1995
Possible Use of Already Formalized Mathematical Knowledge
Proceedings of the QED Workshop II; editor: Roman Matuszewski, pages 13-14, Technical Report No. L/1/95, Warsaw University -
Białystok Campus, URL: linkManfred Kerber,
1995
Proceedings of the ECAI-Workshop From Theorem Provers to Mathematical Assistants
Amsterdam, Netherlands
Fausto Giunchiglia, Manfred Kerber, Dominique Pastre, eds.,
1994
Available: BiBTeX
Sound and Complete Translations from Sorted Higher-Order Logic into Sorted First-Order Logic
Proceedings of PRICAI-94, Third Pacific Rim International Conference on Artificial Intelligence; editor: Michael Georgeff and Zhongzhi Shi and Benjamin W. Wah, pages 149-154, International Academic Publishers, Beijing, China
Manfred Kerber,
1994
Available: BiBTeXpdfPostScript
On the Translation of Higher-Order Problems into First-Order Logic
Proceedings of the 11th ECAI; editor: Tony Cohn, pages 145-149, John Wiley & Sons, Chichester, England
Manfred Kerber,
1994
Available: BiBTeXpdfPostScript
A Test for Evaluating the Practical Usefulness of Deduction Systems Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Wolfgang Reif,
1994
Formalizing Mathematics with Dependent Sorts
Workshop-Proceedings der KI-94; editor: Wolfgang Bibel and Christoph Walther, pages 13
Manfred Kerber, Michael Kohlhase,
1994
Available: BiBTeXpdfPostScript
The Omega-\sc mkrp Proof Development Environment
Proceedings of the ECAI-Workshop From Theorem Provers to
Mathematical Assistants; editor: Fausto Giunchiglia and Manfred Kerber and Dominique Pastre
Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg Siekmann,
1994
Available: BiBTeXpdfPostScript
How to Use a First-Order Model Generator for Adjusting Problem Formulations
in Higher-Order Logic
Proceedings of the CADE-Workshop on Automated Model Building; editor: Ricardo Caferra and Chris Fermüller and Alex Leitsch and Tanel Tammet, pages 22-25
Manfred Kerber,
1994
Available: BiBTeXpdfPostScript
Guaranteeing Correctness through the Communication of Checkable
Proofs (or: Would You Really Trust an Automated Reasoning System?)
Proceedings of the CADE-Workshop on Metatheoretic Extensibility of
Automated Reasoning Systems; editor: David Basin and Fausto Giunchiglia and Matt Kaufmann, pages 31-33
Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Dan Nesmith, Jörn Richts,
1994
Available: BiBTeXpdfPostScript
A Test for Evaluating the Practical Usefulness of Deduction Systems
Proceedings of the CADE-Workshop on Evaluation of Automated Theorem
Proving Systems; editor: Geoff Sutcliffe and Christian B. Suttner, pages 33-36
Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Dan Nesmith, Jörn Richts,
1994
Available: BiBTeXpdfPostScript
Sortenlogiken und ihre Automatisierung
\SCRIPT, Fachbereich Informatik, Universit{\"a}t des Saarlandes, D-66041 Saarbr{\"u}cken\GERMANY
Manfred Kerber,
1994
Available: BiBTeXpdfPostScript
Omega-MKRP: A Proof Development Environment
Proceedings of the IJCAI-Workshop on Automated Reasoning; editor: Alan Bundy and Nachum Dershowitz and Martin Golumbic and Hélène Kirchner, pages 35-36
Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica
Melis, Dan Nesmith, Jörn Richts, Jörg Siekmann,
1993
Deduktionssysteme
KI, 3/92, pages 14-22
Manfred Kerber, Christoph Weidenbach,
1992
Available: BiBTeXpdfPostScript
Omega-MKRP - A Proof Development Environment
Fachbereich Informatik, Universität des Saarlandes,
Saarbrücken, Germany. SEKI Report, SR-92-22
Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg Siekmann,
1992
Available: BiBTeXpdfPostScript
How to Prove Higher Order Theorems in First Order Logic
Proceedings of the 12th IJCAI; editor: John Mylopoulos and Ray Reiter, pages 137-142, Morgan Kaufman, San Mateo, California, USA
Manfred Kerber,
1991
Available: BiBTeXpdfPostScript
How to Prove Higher Order Theorems in First Order Logic
Fachbereich Informatik, Universität Kaiserslautern, Germany. SEKI Report, SR-90-19
Manfred Kerber,
1990
Available: BiBTeXpdfPostScript
A Frame Based Approach to Representing Mathematical Concepts
Fachbereich Informatik, Universität Kaiserslautern, Germany. SEKI Report, SR-89-20
Manfred Kerber,
1989
Some Aspects of Analogy in Mathematical Reasoning
Fachbereich Informatik, Universität Kaiserslautern, Germany. SEKI Report, SR-89-12
Manfred Kerber,
1989
