Switch to: References

Add citations

You must login to add citations.
  1. OMEGA: Agent-oriented Proof Planning.Siekmann Jörg, Benzmüller Christoph & Autexier Serge - 2004
    Download  
     
    Export citation  
     
    Bookmark  
  • DIALOG: Tutorieller Dialog mit einem Mathematik Assistenzsystem.Pinkal Manfred, Siekmann Jörg & Benzmüller Christoph - 2001
    Download  
     
    Export citation  
     
    Bookmark  
    		•
  • 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.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Knowledge-based proof planning.Erica Melis & Jörg Siekmann - 1999 - Artificial Intelligence 115 (1):65-105.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • 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.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • OMEGA: Resource-adaptive Proof Planning.Siekmann Jörg, Benzmüller Christoph & Melis Erica - 2004
    Download  
     
    Export citation  
     
    Bookmark  
    		•
  • OMEGA: Resource-Adaptive Processes in an Automated Reasoning Systems.Autexier Serge, Benzmüller Christoph, Dietrich Dominik & Siekmann Jörg - 2010 - In Matthew W. Crocker & Jörg Siekmann (eds.), Resource-Adaptive Cognitive Processes. Springer. pp. 389-423.
    Download  
     
    Export citation  
     
    Bookmark  
    		•
    Home | Bibliographies | About PhilArchive | Contact us | Code of conduct

    CDP Phiosophy Documentation Center
    PhilPapers logo by Andrea Andrews and Meghan Driscoll.
    This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications).

    Use of this site is subject to terms & conditions.
    All rights reserved by The PhilPapers Foundation

    Server: philpapers-web-5d8df9484f-9zwsp uwo