Thomas Ball, Jürgen Giesl, Reiner Hähnle, Tobias Nipkow, editors, Interaction versus Automation: The two Faces of Deduction, 04.10. - 09.10.2009. Volume 09411 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2009. [doi]
Conference: Dagstuhl2009
@proceedings{dagstuhl-2009P9411,
title = {Interaction versus Automation: The two Faces of Deduction, 04.10. - 09.10.2009},
year = {2009},
url = {http://drops.dagstuhl.de/portals/09411/},
researchr = {https://researchr.org/publication/dagstuhl-2009P9411},
cites = {0},
citedby = {0},
booktitle = {Interaction versus Automation: The two Faces of Deduction, 04.10. - 09.10.2009},
conference = {Dagstuhl},
editor = {Thomas Ball and Jürgen Giesl and Reiner Hähnle and Tobias Nipkow},
volume = {09411},
series = {Dagstuhl Seminar Proceedings},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany},
}