%0 Conference Paper %1 conf/dagstuhl/BallGHN09a %A Ball, Thomas %A Giesl, Jürgen %A Hähnle, Reiner %A Nipkow, Tobias %B Interaction versus Automation: The two Faces of Deduction %D 2009 %E Ball, Thomas %E Giesl, Jürgen %E Hähnle, Reiner %E Nipkow, Tobias %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany %K %T 09411 Executive Summary - Interaction versus Automation: The two Faces of Deductions. %U http://dblp.uni-trier.de/db/conf/dagstuhl/P9411.html#BallGHN09a %V 09411

@inproceedings{conf/dagstuhl/BallGHN09a, added-at = {2023-12-12T17:46:13.000+0100}, author = {Ball, Thomas and Giesl, Jürgen and Hähnle, Reiner and Nipkow, Tobias}, biburl = {https://www.bibsonomy.org/bibtex/28c62b2325074eb9d709cb7fb0da5931c/admin}, booktitle = {Interaction versus Automation: The two Faces of Deduction}, crossref = {conf/dagstuhl/2009P9411}, editor = {Ball, Thomas and Giesl, Jürgen and Hähnle, Reiner and Nipkow, Tobias}, ee = {http://drops.dagstuhl.de/opus/volltexte/2010/2421/}, interhash = {087a26e2b337a3dc7eb27b1b2aee084e}, intrahash = {8c62b2325074eb9d709cb7fb0da5931c}, keywords = {}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany}, series = {Dagstuhl Seminar Proceedings}, timestamp = {2023-12-12T17:46:13.000+0100}, title = {09411 Executive Summary - Interaction versus Automation: The two Faces of Deductions.}, url = {http://dblp.uni-trier.de/db/conf/dagstuhl/P9411.html#BallGHN09a}, volume = 09411, year = 2009 }