Visualizing Proof Search for Theorem Prover Development☆
Under a Creative Commons license
open access
Keywords
Natural deduction
automated theorem prover
intercalation search
proof search visualization
Cited by (0)
- ☆
The authors are very grateful to our referees for supplying insightful questions, comments, and references which greatly improved the quality of this paper.
- 1
This work was funded in part by the Intelligence Advanced Research Projects Activity (IARPA) Collaboration and Analyst System Effectiveness (CASE) Program, contract FA8750-06-C-0194 issued by Air Force Research Laboratory (AFRL). HNC Software is a subcontractor of the University of South Carolina in this contract. The views and conclusions are those of the authors, not of the US Government or its agencies.
- 2
This project was conducted under the auspices of the Harvey Mudd College Clinic Program, with the sponsorship of Fair Isaac Corporation.
Copyright © 2008 Elsevier B.V. Published by Elsevier B.V.