Publisher
Springer Berlin Heidelberg
Reference18 articles.
1. Aho, A.V., Ullman, J.D.: Universality of data retrieval languages. In: Proceedings of the 6th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, pp. 110–119. ACM (1979)
2. Avron, A.: Transitive closure and the mechanization of mathematics. In: Kamareddine, F.D. (ed.) Thirty Five Years of Automating Mathematics. Applied Logic Series, vol. 28, pp. 149–171. Springer Netherlands (2003)
3. Lecture Notes in Computer Science;A. Avron,2004
4. Lecture Notes in Computer Science;A. Avron,2008
5. Campbell, J.J.J.A., Reis, J.C.G.D., Wenzel, P.S.M., Sorge, V.: Intelligent computer mathematics (2008)
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献