External Links
Google
Google Scholar
Citeseer
provided by
German Research Center for Artificial Intelligence
with support by
through
as well as by
through
 

Michael Kohlhase

title(s): Prof. Dr.;
homepage: http://kwarc.info/kohlhase/
person discipline: Higher-Order Reasoning; Logics and calculi for partial functions; Natural language semantics;
subaffiliated with:
  • Forschungsgruppe Computerlinguistik (infko)
  • Fachbereich Informatik
  • Knowledge Adaptation and Reasoning for Content
  • School of Computer Science
  • German Research Center for Artificial Intelligence Bremen (SKS)
affiliated with organisation(s):
  • Carnegie Mellon University (CMU)
  • University of Bremen
participated in project(s):