Author:
Nakasho Kazuhisa,Shidama Yasunari
Publisher
Springer International Publishing
Reference14 articles.
1. Lecture Notes in Computer Science;J Alama,2011
2. Alama, J., Heskes, T., Kuhlwein, D., Tsivtsivadze, E., Urban, J.: Premise selection for mathematics by corpus analysis and kernel methods. J. Autom. Reasoning 52(2), 191–213 (2014)
3. Lecture Notes in Computer Science;G Bancerek,2003
4. Lecture Notes in Computer Science;G Bancerek,2004
5. Grabowski, A., Kornilowicz, A., Naumowicz, A.: Mizar in a nutshell. J. Formalized Reasoning 3(2), 153–245 (2010)
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献