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 Seiten 435-439 Lecture Notes in Computer Science (LNCS) 4667 ISBN 978-3-540-74564-8 Springer 9/2007.

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