Michael Kohlhase

Michael Kohlhase (born 13 September 1964, in Erlangen) is a German computer scientist and professor at University of Erlangen–Nuremberg, where he is head of the KWARC research group (Knowledge Adaptation and Reasoning for Content). Provided by Wikipedia
Showing 1 - 2 results of 2 for search 'Michael Kohlhase', query time: 0.02s Refine Results
  1. 1
    QED Reloaded: Towards a Pluralistic Formal Library of Mathematical Knowledge

    QED Reloaded: Towards a Pluralistic Formal Library of Mathematical Knowledge by Michael Kohlhase, Florian Rabe

    Published 2016-01-01
    Get full text
    Article
  2. 2
    Cut-Simulation and Impredicativity

    Cut-Simulation and Impredicativity by Christoph Benzmueller, Chad E. Brown, Michael Kohlhase

    Published 2009-03-01
    Get full text
    Article

Search Tools: