Publisher
Springer International Publishing
Reference28 articles.
1. Blanchette, J., Kaliszyk, C., Paulson, L., Urban, J.: Hammering towards QED. J. Formalized Reasoning 9(1), 101–148 (2016).
https://doi.org/10.6092/issn.1972-5787/4593
2. Boyer, R.S., Moore, J.S.: A Computational Logic Handbook, Perspectives in Computing, vol. 23. Academic Press, Boston (1979)
3. Bundy, A.: The automation of proof by mathematical induction. In: Robinson, J.A., Voronkov, A. (eds.) Handbook of Automated Reasoning (in 2 volumes), pp. 845–911. Elsevier and MIT Press (2001)
4. Lecture Notes in Artificial Intelligence;D Delahaye,2000
5. Studies in Big Data;V Torra,2019
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献