Publisher
Springer Berlin Heidelberg
Reference27 articles.
1. F. Bancilhon and R. Ramakrishnan. An amateur's introduction to recursive query processing strategies. In Proc. SIGMOD Conf. on Management of Data, pages 16–52, ACM, 1986.
2. W. Bibel. An approach to a systematic theorem proving procedure in first-order logic. Computing, 12:43–55, 1974.
3. W. Bibel. Automated Theorem Proving. Vieweg Verlag, second, 289 pages edition, 1987.
4. W. Bibel. Constraint Satisfaction from a Deductive Viewpoint. Technical Report, Forschungsgruppe Künstliche Intelligenz, Technische Universität München, 1987 (submitted).
5. LNCS;W. Bibel,1986
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Vision for Automated Deduction Rooted in the Connection Method;Lecture Notes in Computer Science;2017
2. The Illusion of Knowledge;Applied Logic Series;2000
3. A Recursive Neural Network for Reflexive Reasoning;Lecture Notes in Computer Science;2000
4. Issues in theorem proving based on the connection method;Theorem Proving with Analytic Tableaux and Related Methods;1995
5. KoMeT;Automated Deduction — CADE-12;1994