Michael Kohlhase

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Dr. Michael Kohlhase

Ehemaliges Mitglied
Michael Kohlhase
  •   Ehemals Gastwissenschaftler

Neueste Publikationen

Komplette Publikationsliste anzeigen

Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg Siekmann
Die Beweisentwicklungsumgebung Omega-MKRP
Informatik – Forschung und Entwicklung, 11(1):20-26, 1996
Details
Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg Siekmann
KEIM: A Toolkit for Automated Deduction
In Alan Bundy, eds., Automated Deduction — CADE-12, Proceedings of the 12th International Conference on Automated Deduction, 807-810, 1994. Springer
Details
Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Jörn Richts
Adapting Methods to Novel Tasks in Proof Planning
In Bernhard Nebel and Leonie Dreschler-Fischer, eds., KI-94: Advances in Artificial Intelligence, Proceedings of the 18th German Annual Conference on Artificial Intelligence, 379-390, 1994. Springer
Details
Komplette Publikationsliste anzeigen