Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. Lecture Notes in Computer Science,2003
2. Asperti, A., et al.: Mathematical Knowledge Management in HELM. Annals of Mathematics and Artificial Intelligence 38(1), 27–46 (2003)
3. Bertot, Y., Castéran, P.: Coq’Art: The Calculus of Inductive Constructions. Springer, Heidelberg (2004), See also
http://coq.inria.fr/
4. Cairns, P., Gow, J.: A theoretical analysis of hierarchical proofs. In: [1], pp. 175–187 (2003)
5. Cairns, P., Gow, J.: Using and parsing Mizar. Electronic Notes in Theoretical Computer Sci. 93, 60–69 (2004)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献