Author:
Kapur Deepak,Sakhanenko Nikita A.
Publisher
Springer Berlin Heidelberg
Reference12 articles.
1. Aubin, R.: Mechanizing structural induction II: Strategies. Theoretical Computer Science 9, 347–361 (1979)
2. Bundy, A.: The Automation of Proof by Mathematical Induction. In: Robinson, A., Voronkov, A. (eds.) Handbook of Automated Reasoning, vol. 1, pp. 845–911 (2001)
3. Boyer, R.S., Moore, J.: A Computational Logic. Academic Press, London (1979)
4. Castaing, J.: How to facilitate the proof of theorems by using the inductionmatching and by generalization. In: Proceedings of the Ninth International Joint Conference on Artificial Intelligence, pp. 1208–1213 (1985)
5. Lecture Notes in Computer Science;J. Giesl,2000
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献