Search: Computer Supported Mathematics
2006
[2] Computer Supported Mathematics with OMEGA (Jörg Siekmann, Christoph Benzmüller, Serge Autexier), In Journal of Applied Logic, volume 4, number 4, pp. 533-559, 2006. [bibtex] [pdf] [doi]
2004
[1] OMEGA: Computer Supported Mathematics (Jörg Siekmann, Christoph Benzmüller), In KI 2004: Advances in Artificial Intelligence, 27th Annual German Conference on AI, KI 2004, Ulm, Germany, September 20-24, 2004, Proceedings (Susanne Biundo, Thom W. Frühwirth, Günther Palm, eds.), LNCS, number 3228, pp. 3-28, 2004. [bibtex] [pdf] [doi]
Powered by bibtexbrowser