Author:
Kühlwein Daniel,Blanchette Jasmin Christian,Kaliszyk Cezary,Urban Josef
Publisher
Springer Berlin Heidelberg
Reference41 articles.
1. The Mizar Mathematical Library, http://mizar.org/
2. Alama, J., Heskes, T., Kühlwein, D., Tsivtsivadze, E., Urban, J.: Premise selection for mathematics by corpus analysis and kernel methods. J. Autom. Reasoning, http://arxiv.org/abs/1108.3446 (April 2013)
3. Lecture Notes in Computer Science;J. Alama,2012
4. Lecture Notes in Computer Science;C. Barrett,2007
5. LNAI;C. Benzmüller,2008
Cited by
40 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献