Suchergebnisse - Kohlhase, Michael 1964-

Michael Kohlhase

Michael Kohlhase miniatur|Michael Kohlhase Michael Kohlhase (* 13. September 1964 in Erlangen) ist ein deutscher Informatiker und Professor an der Friedrich-Alexander-Universität Erlangen-Nürnberg, wo er an der Technischen Fakultät die Forschungsgruppe KWARC ''(Knowledge Adaptation and Reasoning for Content)'' leitet. Veröffentlicht in Wikipedia
  • Treffer 1 – 17 von 17
Treffer filtern
  1. 1
    Buchumschlag

    OMDoc - an open markup format for mathematical documents: [version 1.2]
    von Kohlhase, Michael 1964-

    Veröffentlicht 2006
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

    Higher order coloured unification and natural language semantics
    von Gardent, Claire, Kohlhase, Michael 1964-

    Veröffentlicht 1996
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

    Unification in an extensional lambda calculus with ordered function sorts and constant overloading
    von Johann, Patricia, Kohlhase, Michael 1964-

    Veröffentlicht 1993
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

    A mechanization of strong Kleene logic for partial functions
    von Kerber, Manfred, Kohlhase, Michael 1964-

    Veröffentlicht 1993
    Buch


    Gespeichert in:
  5. 5
    Buchumschlag

    Higher order multi-valued resolution
    von Kohlhase, Michael 1964-, Scheja, Ortwin

    Veröffentlicht 1996
    Buch


    Gespeichert in:
  6. 6
    Buchumschlag

    A mechanization of sorted higher-order logic based on the resolution principle
    von Kohlhase, Michael 1964-

    Veröffentlicht 1994
    Buch


    Gespeichert in:
  7. 7
    Buchumschlag

    Methods - the basic units for planning and verifying proofs
    von Huang, Xiaorong, Kerber, Manfred, Kohlhase, Michael 1964-

    Veröffentlicht 1992
    Buch


    Gespeichert in:
  8. 8
    Buchumschlag

    Feature logic for dotted types: a formalism for complex word meanings
    von Pinkal, Manfred 1949-, Kohlhase, Michael 1964-

    Veröffentlicht 2000
    Online lesen (frei zugänglich)
    Elektronisch E-Book


    Gespeichert in:
  9. 9
    Buchumschlag

    Focus and higher order unification
    von Gardent, Claire, Kohlhase, Michael 1964-

    Veröffentlicht 1996
    Buch


    Gespeichert in:
  10. 10
    Buchumschlag

    Higher order order-sorted resolution
    von Kohlhase, Michael 1964-

    Veröffentlicht 1994
    Buch


    Gespeichert in:
  11. 11
    Buchumschlag

    Order-sorted type-theory
    Band 1 - Unification
    von Kohlhase, Michael 1964-

    Veröffentlicht 1991
    Buch


    Gespeichert in:
  12. 12
    Buchumschlag

    Order-sorted type-theory I: unification
    von Kohlhase, Michael 1964-

    Veröffentlicht 1991
    Buch


    Gespeichert in:
  13. 13
    Buchumschlag

    Order-sorted type-theory
    von Kohlhase, Michael 1964-

    Buch


    Gespeichert in:
  14. 14
    Buchumschlag

    Intelligent computer mathematics: 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016 : proceedings

    Veröffentlicht 2016
    Weitere beteiligte Personen: “… Kohlhase, Michael 1964- …”
    Online lesen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  15. 15
    Buchumschlag

    Robust argumentation machines: first international conference, RATIO 2024, Bielefeld, Germany, June 5-7, 2024 : proceedings

    Veröffentlicht 2024
    Weitere beteiligte Personen: “… Kohlhase, Michael 1964- …”
    Online lesen (frei zugänglich)
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  16. 16
    Buchumschlag

    Digitalisierung von Zivilprozess und Rechtsdurchsetzung
    von Adrian, Axel 1969-

    Veröffentlicht 2022
    Weitere beteiligte Personen: “… Kohlhase, Michael 1964- …”
    Inhaltsverzeichnis
    Tagungsbericht Buch


    Gespeichert in:
  17. 17
    Buchumschlag

    Digitalisierung von Zivilprozess und Rechtsdurchsetzung

    Veröffentlicht 2022
    Weitere beteiligte Personen: “… Kohlhase, Michael 1964- …”
    Elektronisch E-Book


    Gespeichert in:

Suchwerkzeuge: