Author:
Cantu Francisco J.,Bundy Alan,Smaill Alan,Basin David
Publisher
Springer Berlin Heidelberg
Reference17 articles.
1. David Basin and Toby Walsh. Annotated Rewriting in Inductive Theorem Proving. Journal of Automated Reasoning, 16:147–180, 1996.
2. Richard J. Boulton. Efficiency in a fully-expansive theorem prover. Technical Report 337, University of Cambridge Computer Laboratory, 1994.
3. R.S. Boyer and J.S. Moore. A Computational Logic. Academic Press, 1979.
4. A. Bundy. The use of explicit plans to guide inductive proofs. In proc. of the 9th Conference on Automated Deduction, pp 111–120. Springer-Verlag, 1988.
5. A. Bundy and M. Gordon. Automatic Guidance of Mechanically Generated Proofs. Research proposal, Edinburgh-Cambridge, 1995.
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. The History of the DReaM Group;Mathematical Reasoning: The History and Impact of the DReaM Group;2021
2. European collaboration on automated reasoning;AI Communications;2014
3. Best-First Rippling;Reasoning, Action and Interaction in AI Theories and Systems;2006
4. Strategic Issues, Problems and Challenges in Inductive Theorem Proving;Electronic Notes in Theoretical Computer Science;2005-03
5. Proof Planning for First-Order Temporal Logic;Automated Deduction – CADE-20;2005