Towards Concurrent Resource Managed Deduction
The University of Birmingham, School of Computer Science. Cognitive Science Research Papers, CSRP-99-17
Christoph Benzmüller, Mateja Jamnik, Manfred Kerber, Volker Sorge,
1999
Available: BiBTeXpdfPostScript
Proof Planning: A Practical Approach to Mechanised Reasoning in Mathematics
The University of Birmingham, School of Computer Science. Cognitive Science Research Papers, CSRP-97-24
Manfred Kerber,
1997
Available: BiBTeXpdfPostScript
Reasoning without Believing: On the Mechanization of Presuppositions and Partiality
The University of Birmingham, School of Computer Science. Cognitive Science Research Papers, CSRP-97-23
Manfred Kerber, Michael Kohlhase,
1997
Available: BiBTeXpdfPostScript
Mechanising Partiality without Re-Implementation
The University of Birmingham, School of Computer Science. Cognitive Science Research Papers, CSRP-97-10
Manfred Kerber, Michael Kohlhase,
1997
Available: BiBTeXpdfPostScript
Proving Ground Completeness of Resolution by Proof Planning
The University of Birmingham, School of Computer Science. Cognitive Science Research Papers, CSRP-96-16
Manfred Kerber, Arthur C. Sehn,
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
An Integration of Mechanised Reasoning and Computer Algebra that Respects Explicit Proofs
The University of Birmingham, School of Computer Science. Cognitive Science Research Papers, CSRP-96-09
Manfred Kerber, Michael Kohlhase, Volker Sorge,
1996
Available: BiBTeXpdfPostScript
A Resolution Calculus for Presuppositions
The University of Birmingham, School of Computer Science. Cognitive Science Research Papers, CSRP-96-03
Manfred Kerber, Michael Kohlhase,
1996
Available: BiBTeXpdfPostScript
Minimal Polynomial Logic: Properties and Extensions
The University of Birmingham, School of Computer Science. Cognitive Science Research Papers, CSRP-96-02
Riccardo Poli, Manfred Kerber,
1996
Available: BiBTeXpdfPostScript
Adaptation of Declaratively Represented Methods in Proof Planning
Fachbereich Informatik, Universität des Saarlandes,
Saarbrücken, Germany. SEKI Report, SR-95-12
Xiaorong Huang, Manfred Kerber, Lassaad Cheikhrouhou,
1995
Available: BiBTeXpdfPostScript
Planning Mathematical Proofs with Methods
Fachbereich Informatik, Universität des Saarlandes,
Saarbrücken, Germany. SEKI Report, SR-94-08
Xiaorong Huang, Manfred Kerber, Jörn Richts, Arthur Sehn,
1994
Available: BiBTeXpdfPostScript
A Mathematical Knowledge Base for Proving Theorems in Semigroup
and Automata Theory - Part I
Fachbereich Informatik, Universität des Saarlandes,
Saarbrücken, Germany. SEKI Working Paper, SR-93-02
Barbara Schütt, Manfred Kerber,
1993
Available: BiBTeXpdfPostScript
A Mechanization of Strong Kleene Logic for Partial Functions
Fachbereich Informatik, Universität des Saarlandes,
Saarbrücken, Germany. SEKI Report, SR-93-20
Manfred Kerber, Michael Kohlhase,
1993
Available: BiBTeXpdfPostScript
Reasoning with Assertions And Examples
Fachbereich Informatik, Universität des Saarlandes,
Saarbrücken, Germany. SEKI Report, SR-93-10
Manfred Kerber, Erica Melis, Jörg Siekmann,
1993
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
Methods - The Basic Units for Planning and Verifying Proofs
Fachbereich Informatik, Universität des Saarlandes,
Saarbrücken, Germany. SEKI Report, SR-92-20
Xiaorong Huang, Manfred Kerber, Michael Kohlhase,
1992
Available: BiBTeXpdfPostScript
Analogical Reasoning with Typical Examples
Fachbereich Informatik, Universität des Saarlandes, Saarbrücken, Germany. SEKI Report, SR-92-13
Manfred Kerber, Erica Melis, Jörg Siekmann,
1992
Available: BiBTeXpdfPostScript
Tactics for the Improvement of Problem Formulation in Resolution-Based
Theorem Proving
Fachbereich Informatik, Universität des Saarlandes,
Saarbrücken, Germany. SEKI Report, SR-92-09
Manfred Kerber, Axel Präcklein,
1992
Available: BiBTeXpdfPostScript
Useful Properties of a Frame-Based Representation of Mathematical Knowledge
Fachbereich Informatik, Universität des Saarlandes,
Saarbrücken, Germany. SEKI Report, SR-91-06
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
