Jörg Siekmann

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

Prof. Jörg Siekmann

Ehemaliges Mitglied
Jörg Siekmann
  •   Ehemals Gastprofessor

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

Komplette Publikationsliste anzeigen