Deep Inference for Automated Proof Tutoring?
Serge Autexier, Marvin Schiller, Dominik Dietrich, Christoph Benzmüller
Editors: Roman Englert, Michael Beetz, Joachim Hertzberg
In Advances in Artificial Intelligence, (KI-2007), 10.9.-13.9.2007, Osnabrück, Springer, series Lecture Notes in Computer Science, volume 4667, pages 435-439, Sep/2007. ISBN: 978-3-540-74564-8.

Zusammenfassung (Abstract) :

o.A.



© DFKI GmbH
zuletzt geändert am 06.09.2016
nach oben