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. (Project proposal for a Marie Curie Research Training Network within the EU 6th framework; 73 pages) [bibtex] [pdf]
Powered by bibtexbrowser