Author:
Condoluci Andrea,Kohlhase Michael,Müller Dennis,Rabe Florian,Sacerdoti Coen Claudio,Wenzel Makarius
Publisher
Springer International Publishing
Reference18 articles.
1. Lecture Notes in Computer Science;D Aspinall,2013
2. Lecture Notes in Computer Science;A Asperti,2004
3. LNCS;A Asperti,2006
4. Guidi, F., Coen, C.S.: A survey on retrieval of mathematical knowledge. Math. Comput. Sci. 10(4), 409–427 (2016).
https://doi.org/10.1007/s11786-016-0274-0
5. Lange, C.: Enabling Collaboration on Semiformal Mathematical Knowledge by Semantic Web Integration. Studies on the Semantic Web 11. AKA Verlag and IOS Press, Heidelberg and Amsterdam (2011)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献