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 'Kohlhase, Michael.', query time: 0.02s Refine Results
  1. 1
    Symbolic computation and automated reasoning : the CALCULEMUS-2000 Symposium /

    Symbolic computation and automated reasoning : the CALCULEMUS-2000 Symposium / by Kerber, Manfred, Kohlhase, Michael

    Published 2001
  2. 2
    KI 2006: Advances in Artificial Intelligence [electronic resource] : 29th Annual German Conference on AI, KI 2006, Bremen, Germany, June 14-17, 2006: Proceedings /

    KI 2006: Advances in Artificial Intelligence [electronic resource] : 29th Annual German Conference on AI, KI 2006, Bremen, Germany, June 14-17, 2006: Proceedings / by German Conference on Artificial Intelligence (29th : 2006 : Bremen, Germany), Freksa, Christian, Kohlhase, Michael., Schill, Kerstin, SpringerLink (Online service)

    Published 2007
    Get full text

Search Tools: