Works by Helmut Horacek

( view other items matching `Helmut Horacek`, view all matches )
Order:
  1.  17
    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.  14
    Natural Language Dialog with a Tutor System for Mathematical Proofs.Christoph Benzmüller, Helmut Horacek, Ivana Kruijff-Korbayova, Manfred Pinkal, Jörg Siekmann & Magdalena Wolska - 2007 - In Ruqian Lu, Jörg Siekmann & Carsten Ullrich (eds.), Cognitive Systems: Joint Chinese-German Workshop, Shanghai, China, March 7-11, 2005, Revised Selected Papers. Springer. pp. 1-14.
    No categories
    $24.63 used   $45.79 new   $53.52 from Amazon    (collection)    View on Amazon.com
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  3.  5
    Reasoning with uncertainty in computer chess.Helmut Horacek - 1990 - Artificial Intelligence 43 (1):37-56.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation