Publisher
Springer Berlin Heidelberg
Reference17 articles.
1. Blume, M.: No-longer-foreign: Teaching an ML compiler to speak C “natively”. In: Benton, N., Kennedy, A. (eds.) BABEL 2001: First workshop on multi-language infrastructure and interoperability (2001), Available online via http://docs.msdnaa.net/ark_new/Webfiles/babel.htm
2. Ergebnisse der Mathematik und ihrer Grenzgebiete;J. Bochnak,1998
3. Farmer, W.M., Thayer, F.J.: Two computer-supported proofs in metric space topology. Notices of the American Mathematical Society 38, 1133–1138 (1991)
4. Gårding, L.: Some Points of Analysis and Their History. University Lecture Series, vol. 11. American Mathematical Society / Higher Education Press (1997)
5. Lecture Notes in Computer Science;H. Geuvers,2002
Cited by
62 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献