%0 Conference Paper %1 conf/dagstuhl/BallGHN09 %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 dblp %T 09411 Abstracts Collection - Interaction versus Automation: The two Faces of Deduction. %U http://dblp.uni-trier.de/db/conf/dagstuhl/P9411.html#BallGHN09 %V 09411

@inproceedings{conf/dagstuhl/BallGHN09, added-at = {2024-07-09T00:00:00.000+0200}, author = {Ball, Thomas and Giesl, Jürgen and Hähnle, Reiner and Nipkow, Tobias}, biburl = {https://www.bibsonomy.org/bibtex/2f08bb9af706a5325155346c500ff48f8/dblp}, 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/2503/}, interhash = {5b9f1a61786c9af9416d58c14e97c1e9}, intrahash = {f08bb9af706a5325155346c500ff48f8}, keywords = {dblp}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany}, series = {Dagstuhl Seminar Proceedings}, timestamp = {2024-07-15T07:10:03.000+0200}, title = {09411 Abstracts Collection - Interaction versus Automation: The two Faces of Deduction.}, url = {http://dblp.uni-trier.de/db/conf/dagstuhl/P9411.html#BallGHN09}, volume = 09411, year = 2009 }