Preview
Unable to display preview. Download preview PDF.
References
W. Bibel: Automated Theorem Proving, Vieweg Verlag 1982, Braunschweig, Wiesbaden.
E. Eder: An Implementation of a Theorem Prover Based on the Connection Method, Artificial Intelligence, Methodology, Systems, Applications (AIMSA'84), Varna, Bulgaria, 1984, W. Bibel, B. Petkoff, ed., North Holland, pp 121–128.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1989 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Eder, E. (1989). A comparison of the resolution calculus and the connection method, and a new calculus generalizing both methods. In: Börger, E., Büning, H.K., Richter, M.M. (eds) CSL '88. CSL 1988. Lecture Notes in Computer Science, vol 385. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0026296
Download citation
DOI: https://doi.org/10.1007/BFb0026296
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-51659-0
Online ISBN: 978-3-540-46736-6
eBook Packages: Springer Book Archive