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. (Url (preprint): http://christoph-benzmueller.de/papers/J12.pdf) [bibtex] [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. (Url (preprint): http://christoph-benzmueller.de/papers/C15.pdf) [bibtex] [doi]
Powered by bibtexbrowser