Publikationen von Jörg Siekmann

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

Publikationen von Jörg Siekmann


Artikel in Fachzeitschriften

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

Artikel in Tagungsbänden

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