Author:
Kaliszyk Cezary,Wiedijk Freek
Publisher
Springer Berlin Heidelberg
Reference9 articles.
1. Asperti, A., Padovani, L., Sacerdoti Coen, C., Guidi, F., Schena, I.: Mathematical Knowledge Management in HELM. Annals of Mathematics and Artificial Intelligence, Special Issue on Mathematical Knowledge Management 38, 1–3 (2003)
2. Asperti, A., Wegner, B.: MOWGLI – A New Approach for the Content Description in Digital Documents. In: Proceedings of the Nineth International Conference on Electronic Resources and the Social Role of Libraries in the Future, vol. 1 (2002)
3. Lecture Notes in Computer Science;H. Geuvers,2006
4. Lecture Notes in Computer Science;H. Geuvers,2004
5. Girard, J.Y.: Linear Logic. Theor. Comput. Sci. 50, 1–102 (1987)
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Dynamic Proof Presentation;Mathematical Reasoning: The History and Impact of the DReaM Group;2021
2. Semantics of Mizar as an Isabelle Object Logic;Journal of Automated Reasoning;2018-08-28
3. Progress in the Independent Certification of Mizar Mathematical Library in Isabelle;Proceedings of the 2017 Federated Conference on Computer Science and Information Systems;2017-09-24
4. Isabelle Formalization of Set Theoretic Structures and Set Comprehensions;Mathematical Aspects of Computer and Information Sciences;2017
5. Wikis and Collaborative Systems for Large Formal Mathematics;Semantic Web Collaborative Spaces;2016