Publisher
Springer International Publishing
Reference23 articles.
1. Beckert, B., Posegga, J.: leanTAP: lean tableau-based deduction. J. Autom. Reason. 15(3), 339–358 (1995)
2. EATCS Series;Y Bertot,2004
3. Bibel, W.: Automated Theorem Proving Artificial Intelligence, 2nd edn. F. Vieweg und Sohn, Wiesbaden (1987). doi: 10.1007/978-3-322-90102-6
4. Constable, R.L., et al.: Implementing Mathematics with the NuPRL Proof Development System. Prentice-Hall, Englewood Cliffs (1986)
5. Lecture Notes in Computer Science;F Freitas,2016
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献