Preview
Unable to display preview. Download preview PDF.
References
A. Bundy. The use of explicit plans to guide inductive proofs. In Proceedings of the 9th CADE, Argonne, USA, 1988. Springer Verlag. LNCS 310.
A. Bundy. A Science of Reasoning: Extended Abstract. In Proceedings of the 10th CADE, Kaiserslautern, Germany, 1990. Springer Verlag. LNCS 449.
P. Deussen. Halbgruppen und Automaten. Springer Verlag, Berlin, Germany, 1971.
G. Gentzen. Untersuchungen über das logische Schlie\en II. Mathematische Zeitschrift, 39: 572–595, 1935.
X. Huang, M. Kerber, and M. Kohlhase. Methods — the basic units for planning and verifying proofs. SEKI Report SR-92-20, FB Informatik, Universität des Saarlandes, Saarbrücken, Germany, 1992.
X. Huang, M. Kerber, M. Kohlhase, E. Melis, D. Nesmith, J. Richts, and J. Siekmann. Ω-MKRP — a proof development environment. SEKI Report SR-92-22, FB Informatik, Universität des Saarlandes, Saarbrücken, Germany, 1992.
X. Huang, M. Kerber, M. Kohlhase, E. Melis, D. Nesmith, J. Richts, and J. Siekmann. KEIM: A Toolkit for Automated Deduction. In these proceedings.
X. Huang. Human Oriented Proof Presentation: A Reconstructive Approach. PhD thesis, Universität des Saarlandes, Saarbrücken, Germany, 1994, forthcoming.
M. Kerber. How to prove higher order theorems in first order logic. In J. Mylopoulos and R. Reiter, editors, Proceedings of the 12th IJCAI, pages 137–142, Sydney, 1991. Morgan Kaufman.
C. Lingenfelder. Structuring computer generated proofs. In N. S. Sridharan, editor, Proceedings of the 11th IJCAI, pages 378–383, Detroit, USA, 1989. Morgan Kaufman.
H. J. Ohlbach and J. H. Siekmann. The Markgraf Karl Refutation Procedure. In J.-L. Lassez and G. Plotkin, editors, Computational Logic — Essays in Honor of Alan Robinson, chapter 2, pages 41–112. MIT Press, 1991.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1994 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Huang, X. et al. (1994). Ω-MKRP: A proof development environment. In: Bundy, A. (eds) Automated Deduction — CADE-12. CADE 1994. Lecture Notes in Computer Science, vol 814. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-58156-1_61
Download citation
DOI: https://doi.org/10.1007/3-540-58156-1_61
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-58156-7
Online ISBN: 978-3-540-48467-7
eBook Packages: Springer Book Archive