Type: Book
2009
[5] Lectures on Jacques Herbrand as a Logician (Claus-Peter Wirth, Jörg Siekmann, Christoph Benzmüller, Serge Autexier), SEKI Publications (ISSN 1437-4447), 2009. (arXiv:0902.4682) [bibtex] [pdf]
2006
[4] Cumulative Habilitation Script (Christoph Benzmüller), Saarland University, Germany, pp. 1-357, 2006. [bibtex] [pdf]
2004
[3] The CALCULEMUS Final Report (Christoph Benzmüller, Corinna Hahn), Saarland University, Germany, pp. 1-57, 2004. (Final report of the Marie Curie Research Training Network CALCULEMUS within the EU 5th framework) [bibtex] [pdf]
2003
[2] 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]
[1] The CALCULEMUS Midterm Report, (Christoph Benzmüller, Corinna Hahn, eds.), Saarland University, Germany, 2003. (EU Report, Saarland University, Saarbrücken, Germany) [bibtex] [pdf]
Powered by bibtexbrowser