| dbo:abstract
|
- 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. (de)
- 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). (en)
- Michael Kohlhase (Erlangen, 13 settembre 1964) è un informatico e matematico tedesco, attualmente professore alla Scuola di Ingegneria e Scienza della Jacobs University di Brema, Germania; qui dirige il gruppo di ricerca KWARC (Knowledge Adaptation and Reasoning for Content). (it)
|
| dbo:thumbnail
| |
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 7650 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| dbp:almaMater
| |
| dbp:birthDate
| |
| dbp:birthPlace
| |
| dbp:doctoralAdvisor
| |
| dbp:fields
| |
| dbp:knownFor
| |
| dbp:name
| |
| dbp:nationality
| |
| dbp:residence
| |
| dbp:thesisTitle
|
- A Mechanization of Sorted Higher-Order Logic Based on the Resolution Principle (en)
|
| dbp:thesisYear
| |
| dbp:wikiPageUsesTemplate
| |
| dcterms:subject
| |
| gold:hypernym
| |
| schema:sameAs
| |
| rdf:type
| |
| rdfs:comment
|
- 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. (de)
- 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). (en)
- Michael Kohlhase (Erlangen, 13 settembre 1964) è un informatico e matematico tedesco, attualmente professore alla Scuola di Ingegneria e Scienza della Jacobs University di Brema, Germania; qui dirige il gruppo di ricerca KWARC (Knowledge Adaptation and Reasoning for Content). (it)
|
| rdfs:label
|
- Michael Kohlhase (de)
- Michael Kohlhase (it)
- Michael Kohlhase (en)
|
| owl:differentFrom
| |
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:depiction
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:doctoralStudent
of | |
| is dbo:wikiPageDisambiguates
of | |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is dbp:doctoralStudents
of | |
| is dbp:owner
of | |
| is foaf:primaryTopic
of | |
