Thomas Ball, Jürgen Giesl, Reiner Hähnle, Tobias Nipkow. 09411 Executive Summary - Interaction versus Automation: The two Faces of Deductions. In 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]
Abstract is missing.