|
8
|
A science of reasoning, in: Computational Logic: Essays in Honour of Alan
– A Bundy
- 1990
|
|
4
|
Middle-Out Reasoning for Program Synthesis
– I Kraan, D Basin, A Bundy
- 1993
|
|
3
|
Adapting the Diagonalization Method by Reformulations
– Xiaorong Huang, Xiaorong Huang, Manfred Kerber, Manfred Kerber, Lassaad Cheikhrouhou, Lassaad Cheikhrouhou, Fachbereich Informatik
- 1995
|
|
2
|
An integration of mechanised reasoning and computer algebra that respects explicit proofs
– Manfred Kerber, Manfred Kerber, Michael Kohlhase, Michael Kohlhase, Volker Sorge, Volker Sorge, Fachbereich Informatik
- 1996
|
|
2
|
Proving Ground Completeness of Resolution by Proof Planning
– Manfred Kerber, Arthur Christian Sehn
- 1997
|
|
1
|
Reuse of Proofs by Meta-Methods
– Xiaorong Huang, Manfred Kerber, Fachbereich Informatik
- 1995
|
|
1
|
Proof: A Many-Splendored Thing
– I Kleiner, N Movshovitz-Hadar
- 1997
|
|
1
|
Mathematics and Plausible Reasoning
– G P��lya
- 1954
|
|
1
|
and Nitsa Movshovitz-Hadar. Proof: A many-splendored thing
– Israel Kleiner
- 1997
|
|
1
|
Solution of the Robbins problem. submitted to the
– William McCune
- 1997
|
|
1
|
Siekmann and Graham Wrightson. Automation of Reasoning
– H Jorg
- 1983
|
|
4
|
Representing and reformulating diagonalization methods
– Erica Melis
- 1994
|
|
4
|
Using Tactics to Reformulate Formulae for Resolution Theorem Proving
– Manfred Kerber, Axel Präcklein
- 1996
|
|
15
|
Integrating Computer Algebra with Proof Planning
– Manfred Kerber, Michael Kohlhase, Volker Sorge
- 1996
|
|
12
|
Planning Diagonalization Proofs
– Lassaad Cheikhrouhou
- 1997
|
|
15
|
Planning Mathematical Proofs with Methods
– Xiaorong Huang, Manfred Kerber, Jörn Richts, Arthur Sehn
- 1994
|
|
4
|
Automation of Reasoning
– J Siekmann, G Wrightson
- 1983
|
|
56
|
Automated Reasoning: Introduction and Applications
– L Wos
- 1984
|
|
27
|
Realization of a geometry theoremproving machine. Computers and Thought (eds
– H Gelernter
- 1963
|
