Skip to main content

4 Result(s)

within Michael Kohlhase Remove this filter German Remove this filter

and

  1. Article

    Open Access

    Erratum zu: Editorial

    Philipp Cimiano, Gerhard Heyer, Michael Kohlhase, Benno Stein… in Datenbank-Spektrum (2021)

    Download PDF (133 KB) View Article

  2. No Access

    Article

    Ωmega: Ein mathematisches Assistenzsystem

    Ωmega is a deduction system for the mathematical practice and mathematics education. The underlying vision is that of an automated mathematical assistant that supports the working mathematician in many tasks. ...

    Jörg Siekmann, Michael Kohlhase, Erica Melis in Kognitionswissenschaft (1998)

  3. No Access

    Article

    Steuerung der Inferenz in der Diskursverarbeitung

    Semantic interpretation is an essential component of natural language understanding, which draws on extremely efficient language-based inference techniques. Such techniques are still lacking in computational s...

    Markus Egg, Claire Gardent, Michael Kohlhase in Kognitionswissenschaft (1998)

  4. No Access

    Article

    Die Beweisentwicklungsumgebung \(\Omega\) -Mkrp

    Die Beweisentwicklungsumgebung \(\Omega\) -Mkrpsoll Mathematiker bei einer ihrer Haupttätigkeiten, nämlich dem Beweisen mathematischer Theoreme unterstützen. Diese Unterstützung ...

    **aorong Huang, Manfred Kerber, Michael Kohlhase… in Informatik Forschung und Entwicklung (1996)