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 für Suche 'Kohlhase, Michael 1964-', Suchdauer: 0,06s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    Higher order coloured unification and natural language semantics

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

    Veröffentlicht 1996
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Unification in an extensional lambda calculus with ordered function sorts and constant overloading

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

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    A mechanization of strong Kleene logic for partial functions

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

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    OMDoc - an open markup format for mathematical documents [version 1.2]

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

    Veröffentlicht 2006
    Beschreibung
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Higher order multi-valued resolution

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

    Veröffentlicht 1996
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    A mechanization of sorted higher-order logic based on the resolution principle

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

    Veröffentlicht 1994
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    Methods - the basic units for planning and verifying proofs

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

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    Feature logic for dotted types a formalism for complex word meanings

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

    Veröffentlicht 2000
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  9. 9
    Focus and higher order unification

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

    Veröffentlicht 1996
    Buch Fernleihe Bestellen


    Gespeichert in:
  10. 10
    Higher order order-sorted resolution

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

    Veröffentlicht 1994
    Buch Fernleihe Bestellen


    Gespeichert in:
  11. 11
    Order-sorted type-theory

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

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  12. 12
    Order-sorted type-theory I unification

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

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  13. 13
    Order-sorted type-theory

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

    Buch Fernleihe Bestellen


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

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

    Veröffentlicht 2024
    Weitere Verfasser:

    Volltext öffnen Volltext öffnen
    Elektronisch Tagungsbericht E-Book


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

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

    Veröffentlicht 2016
    Weitere Verfasser: “… Kohlhase, Michael 1964- …”

    Volltext öffnen Volltext öffnen
    Elektronisch Tagungsbericht E-Book Fernleihe Bestellen


    Gespeichert in:
  16. 16
    Digitalisierung von Zivilprozess und Rechtsdurchsetzung

    Digitalisierung von Zivilprozess und Rechtsdurchsetzung von Adrian, Axel 1969-

    Veröffentlicht 2022
    Weitere Verfasser:
    Inhaltsverzeichnis
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:
  17. 17
    Digitalisierung von Zivilprozess und Rechtsdurchsetzung

    Digitalisierung von Zivilprozess und Rechtsdurchsetzung

    Veröffentlicht 2022
    Weitere Verfasser:
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: