Publisher
Springer International Publishing
Reference34 articles.
1. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);A Asperti,2007
2. Bertot, Y.: A short presentation of Coq. In: Mohamed et al. [22], pp. 12–16
3. Artificial Intelligence;W Bibel,1987
4. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);JC Blanchette,2011
5. Blanchette, J.C., Kaliszyk, C., Paulson, L.C., Urban, J.: Hammering towards QED. J. Formaliz. Reason. 9(1), 101–148 (2016)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A first polynomial non-clausal class in many-valued logic;Fuzzy Sets and Systems;2023-03
2. The possibilistic horn non-clausal knowledge bases;International Journal of Approximate Reasoning;2023-01
3. Safe, fast, concurrent proof checking for the lambda-pi calculus modulo rewriting;Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs;2022-01-11