Publikationen von Joachim Hertzberg

2012

2011

2010

2007

  • Serge Autexier; Marvin Schiller; Dominik Dietrich; Christoph Benzmüller
    Deep Inference for Automated Proof Tutoring?.
    In: Roman Englert; Michael Beetz; Joachim Hertzberg (Hrsg.). Advances in Artificial Intelligence. German Conference on Artificial Intelligence (KI-2007), September 10-13, Osnabrück, Germany, Pages 435-439, Lecture Notes in Computer Science (LNCS), Vol. 4667, ISBN 978-3-540-74564-8, Springer, 9/2007.