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. (Url (preprint): http://christoph-benzmueller.de/papers/T3.pdf) [bibtex]
2004
[3]The CALCULEMUS Final Report (Christoph Benzmüller, Corinna Hahn), Saarland University, Germany, pp. 1-57, 2004. (Url (preprint): http://christoph-benzmueller.de/papers/R36.pdf) [bibtex]
2003
[2]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]
[1]The CALCULEMUS Midterm Report, (Christoph Benzmüller, Corinna Hahn, eds.), Saarland University, Germany, 2003. (Url (preprint): http://christoph-benzmueller.de/papers/R22.pdf) [bibtex]
Powered by bibtexbrowser