Publications of Jörg Siekmann

From International Center for Computational Logic
Toggle side column

Publications of Jörg Siekmann


Journal Articles

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


Proceedings Articles

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