Michael Kohlhase

Michael Kohlhase is a has profession::professor for computer science at member of::Jacobs University Bremen. He is interested in semantics and mathematical knowledge management.


 * [[foaf:workplaceHomepage:=http://kwarc.info/kohlhase/|Homepage]]