Publisher
Springer Berlin Heidelberg
Reference31 articles.
1. Alexandre, G.: De Aldor á Zermelo. PhD thesis, Université Paris VI (1998)
2. Augustsson, L.: Cayenne – a language with dependent types. ACM Press, New York (1998)
3. Bauer, A., Clarke, E., Zhao, X.: Analytica - an experiment in combining theorem proving and symbolic computation. In: Pfalzgraf, J., Calmet, J., Campbell, J. (eds.) AISMC 1996. LNCS, vol. 1138. Springer, Heidelberg (1996)
4. Buchberger, B.: Symbolic Computation: Computer Algebra and Logic. In: Baader, F., Schulz, K.U. (eds.) Frontiers of Combining Systems. Kluwer, Dordrecht (1996)
5. Buchberger, B., Jebelean, T., Kriftner, F., Marin, M., Tomuta, E., Vasaru, D.: A survey of the Theorema project. In: Proceedings of ISSAC 1997 (International Symposium on Symbolic and Algebraic Computation), pp. 384–391. ACM, New York (1997)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献