Publisher
Springer Berlin Heidelberg
Reference30 articles.
1. D. Basin. An environment for automated reasoning about partial functions. In R. Lusk and R. Overbeek, editors, Ninth International Conference on Automated Deduction, volume 310 of Lecture Notes in Computer Science, pages 101–110. Springer Verlag, May 1988. Also as Cornell CS TR 87-884.
2. A. Bundy, F. van Harmelen, J. Hesketh, and A. Smaill. Experiments with proof plans for induction. Journal of Automated Reasoning, page (in press) Earlier version available from Edinburgh as Research Paper No 413, 1988.
3. Alan Bundy. The use of explicit plans to guide inductive proofs. In R. Lusk and R. Overbeek, editors, Ninth International Conference on Automated Deduction, volume 310 of Lecture Notes in Computer Science, pages 111–120. Springer Verlag, 1988. Longer version available from Edinburgh as Research Paper No. 349.
4. Alan Bundy. A science of reasoning. In J.-L. Lassez and G. Plotkin, editors, Computational Logic: Essays in Honor of Alan Robinson, pages 178–198. MIT Press, Cambridge, MA, 1991.
5. Alan Bundy. The use of proof plans for normalization. Report, Dept. of Artificial Intelligence, University of Edinburgh, 1991.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献