Publisher
Springer Berlin Heidelberg
Reference17 articles.
1. Lecture Notes in Artificial Intelligence;S. Autexier,2006
2. Bartle, R.G., Sherbert, D.R.: Introduction to Real Analysis. John Wiley & Sons, New York (1982)
3. Coquand, T., Huet, G.: The calculus of constructions. Information and Computation 76, 95–120 (1988)
4. Grabowski, A., Schwarzweller, C.: Translating mathematical vernacular into knowledge repositories. In: Kohlhase [11], pp. 49–64
5. Harper, R., Honsell, F., Plotkin, G.: A framework for defining logics. Journal of the Association for Computing Machinery 40(1), 143–184 (1993)
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献