Author:
Gleißner Tobias,Steen Alexander
Publisher
Springer International Publishing
Reference19 articles.
1. Schulz, S.: E – a brainiac theorem prover. AI Commun. 15(2,3), 111–126 (2002)
2. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);CE Brown,2012
3. Benzmüller, C., Sultana, N., Paulson, L.C., Theiß, F.: The higher-order prover LEO-II. J. Autom. Reason. 55(4), 389–404 (2015)
4. Lecture Notes in Artificial Intelligence;A Steen,2018
5. Lecture Notes in Computer Science;T Nipkow,2002
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献