7 found
Order:
  1.  3
    Assertion-Level Proof Representation with Under-Specification.Serge Autexier, Christoph Benzmüller, Armin Fiedler, Helmut Horacek & Bao Quoc Vo - 2004 - Electronic Notes in Theoretical Computer Science 93:5-23.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  2.  6
    Computer Supported Mathematics with Ωmega.Jörg Siekmann, Christoph Benzmüller & Serge Autexier - 2006 - Journal of Applied Logic 4 (4):533-559.
  3.  7
    Interactive Theorem Proving with Tasks.Malte Hübner, Serge Autexier, Christoph Benzmüller & Andreas Meier - 2004 - Electronic Notes in Theoretical Computer Science 103 (C):161-181.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  4.  5
    Organisation, Transformation, and Propagation of Mathematical Knowledge in Omega.Serge Autexier, Christoph Benzmüller, Dominik Dietrich & Marc Wagner - 2008 - Mathematics in Computer Science 2 (2):253-277.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  5.  15
    Jacques Herbrand: Life, Logic, and Automated Deduction.Claus-Peter Wirth, Jörg Siekmann, Christoph Benzmüller & Serge Autexier - 2009 - In Dov Gabbay (ed.), The Handbook of the History of Logic. Elsevier. pp. 195-254.
  6.  4
    Preface: Proceedings of the 8th Workshop on User Interfaces for Theorem Provers.Serge Autexier & Christoph Benzmüller - 2009 - Electronic Notes in Theoretical Computer Science 226 (1):1-2.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  7.  16
    Lectures on Jacques Herbrand as a Logician.Claus-Peter Wirth, Jörg Siekmann, Christoph Benzmüller & Serge Autexier - 2009 - Seki Publications (Issn 1437-4447).
    We give some lectures on the work on formal logic of Jacques Herbrand, and sketch his life and his influence on automated theorem proving. The intended audience ranges from students interested in logic over historians to logicians. Besides the well-known correction of Herbrand’s False Lemma by Goedel and Dreben, we also present the hardly known unpublished correction of Heijenoort and its consequences on Herbrand’s Modus Ponens Elimination. Besides Herbrand’s Fundamental Theorem and its relation to the Loewenheim-Skolem-Theorem, we carefully investigate Herbrand’s (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark