Mathematical Knowledge Management 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers Kohlhase Michael Heftet / 2006 / Engelsk
KI 2006 29th Annual German Conference on AI, KI 2006, Bremen, Germany, June 14-17, 2006, Proceedings Freksa Christian Heftet / 2007 / Engelsk
Robust Argumentation Machines First International Conference, RATIO 2024, Bielefeld, Germany, June 5–7, 2024, Proceedings Cimiano Philipp Heftet / 2024 / Engelsk
Intelligent Computer Mathematics 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings Kohlhase Michael Heftet / 2016 / Engelsk
OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2] Foreword by Alan Bundy Kohlhase Michael Heftet / 2006 / Engelsk
