Search: The CALCULEMUS Research Training Network: A Short Overview
2003
[2] The CALCULEMUS research training network: A short overview (Christoph Benzmüller), In Proceedings of the First QPQ Workshop on Deductive Software Components at CADE-19, pp. 13-27, 2003. (slides) [bibtex] [pdf]
[1] The CALCULEMUS research training network: A short overview (Christoph Benzmüller), In Proceedings of the 11th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning (CALCULEMUS 2003), MMIII ARACNE EDITRICE S.R.L. (ISBN 88-7999-545-6), pp. 1-16, 2003. (slides) [bibtex] [pdf]
Powered by bibtexbrowser