Search: CALCULEMUS-II: Computer-supported Mathematical Knowledge
2003
[1]CALCULEMUS-II: Computer-supported Mathematical Knowledge Evolution (Christoph Benzmüller, Dieter Hutter), Saarland University, Germany, pp. 1-73, 2003. (Url (preprint): http://christoph-benzmueller.de/papers/R24.pdf) [bibtex]
Powered by bibtexbrowser