Opening book details…
About this scholarly article
A Comparison of the Resolution Calculus and the Connection Method, and a New Calculus Generalizing Both Methods by Börger, Egon; Büning, Hans Kleine; Richter, Michael M. is a scholarly article available to read on EtoBox.
- Author
- Börger, Egon; Büning, Hans Kleine; Richter, Michael M.
- Publisher
- Springer-Verlag
- Published
- 1989
- Language
- EN
More by Börger, Egon; Büning, Hans Kleine; Richter, Michael M.
Browse all works by Börger, Egon; Büning, Hans Kleine; Richter, Michael M.