Publikation

Deep Inference for Automated Proof Tutoring?

Serge Autexier; Marvin Schiller; Dominik Dietrich; Christoph Benzmüller

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.

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence