Search: Deep Inference For Automated Proof Tutoring
2007
[1] Deep Inference for Automated Proof Tutoring? (Christoph Benzmüller, Dominik Dietrich, Marvin Schiller, Serge Autexier), In KI 2007: Advances in Artificial Intelligence, 30th Annual German Conference on AI, KI 2007, Osnabrück, Germany, September 10-13, 2007, Proceedings (Joachim Hertzberg, Michael Beetz, Roman Englert, eds.), Springer, volume 4667, pp. 435-439, 2007. [bibtex] [pdf] [doi]
Powered by bibtexbrowser