Type: Book
[8] 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]
[7] Reasoning in Simple Type Theory -- Festschrift in Honor of Peter B. Andrews on His 70th Birthday, (Christoph Benzmüller, Chad Brown, Jörg Siekmann, Richard Statman, eds.), College Publications, Studies in Logic, Mathematical Logic and Foundations, pp. 460, 2008. [bibtex] [pdf]
[6] Cumulative Habilitation Script (Christoph Benzmüller), Saarland University, Germany, pp. 1-357, 2006. [bibtex] [pdf]
[5] Special Issue on Assistance Systems for Mathematics, (Christoph Benzmüller, ed.), Journal of Applied Logic, Elsevier, 2006. [bibtex] [pdf]
[4] 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]
[3] The CALCULEMUS Midterm Report, (Christoph Benzmüller, Corinna Hahn, eds.), Saarland University, Germany, 2003. (EU Report, Saarland University, Saarbrücken, Germany) [bibtex] [pdf]
[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] Systems for Integrated Computation and Deduction -- Interim Report of the CALCULEMUS IHP Network, (Christoph Benzmüller, ed.), SEKI Publications (ISSN 1437-4447), 2003. (135 pages) [bibtex] [pdf]
Powered by bibtexbrowser