%0 Conference Paper %1 conf/ki/BenzmullerDSA07 %A Benzmüller, Christoph %A Dietrich, Dominik %A Schiller, Marvin R. G. %A Autexier, Serge %B KI %D 2007 %E Hertzberg, Joachim %E Beetz, Michael %E Englert, Roman %I Springer %K dblp %P 435-439 %T Deep Inference for Automated Proof Tutoring? %U http://dblp.uni-trier.de/db/conf/ki/ki2007.html#BenzmullerDSA07 %V 4667 %@ 978-3-540-74564-8

@inproceedings{conf/ki/BenzmullerDSA07, added-at = {2022-04-09T00:00:00.000+0200}, author = {Benzmüller, Christoph and Dietrich, Dominik and Schiller, Marvin R. G. and Autexier, Serge}, biburl = {https://www.bibsonomy.org/bibtex/2b36f2ac66a049e6700a821461c846a2a/dblp}, booktitle = {KI}, crossref = {conf/ki/2007}, editor = {Hertzberg, Joachim and Beetz, Michael and Englert, Roman}, ee = {https://doi.org/10.1007/978-3-540-74565-5_34}, interhash = {5df36909ab5d03a4163c8ab835335326}, intrahash = {b36f2ac66a049e6700a821461c846a2a}, isbn = {978-3-540-74564-8}, keywords = {dblp}, pages = {435-439}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T18:59:16.000+0200}, title = {Deep Inference for Automated Proof Tutoring?}, url = {http://dblp.uni-trier.de/db/conf/ki/ki2007.html#BenzmullerDSA07}, volume = 4667, year = 2007 }