Publikation
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.
@inproceedings{pub2998, author = { Autexier, Serge and Schiller, Marvin and Dietrich, Dominik and Benzmüller, Christoph }, editor = { Englert, Roman and Beetz, Michael and Hertzberg, Joachim }, title = {Deep Inference for Automated Proof Tutoring?}, booktitle = {Advances in Artificial Intelligence. German Conference on Artificial Intelligence (KI-2007), September 10-13, Osnabrück, Germany}, series = {Lecture Notes in Computer Science (LNCS)}, year = {2007}, month = {9}, volume = {4667}, pages = {435--439}, publisher = {Springer}, isbn = {978-3-540-74564-8} }
Deutsches Forschungszentrum für
Künstliche Intelligenz GmbH (DFKI)
Trippstadter Str. 122
67663 Kaiserslautern
Deutschland
Tel.: +49 631 20575 0
© DFKI, 2023