Publication

Deep Inference for Automated Proof Tutoring?

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

In: Roman Englert, Michael Beetz, Joachim Hertzberg (editor). 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) 4667 ISBN 978-3-540-74564-8 Springer 9/2007.

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