Author:
Carette Jacques,Farmer William M.
Publisher
Springer Berlin Heidelberg
Reference45 articles.
1. Adams, A.A.: Digitisation, representation, and formalisation. In: Asperti, et al. (eds.) [4], pp. 1–16
2. Adams, A.A., Davenport, J.H.: Copyright issues for MKM. In: Asperti, et al. (eds.) [3], pp. 1–16
3. Lecture Notes in Computer Science,2004
4. Lecture Notes in Computer Science,2003
5. Aspinall, D., Lüth, C., Winterstein, D.: A framework for interactive proof. In: Kauers, et al. (eds.) [27], pp. 161–175
Cited by
14 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献