TU Darmstadt / ULB / TUbiblio

09411 Abstracts Collection - Interaction versus Automation: The two Faces of Deduction

Ball, Thomas and Giesl, Jürgen and Hähnle, Reiner and Nipkow, Tobias
Ball, Thomas and Giesl, Jürgen and Hähnle, Reiner and Nipkow, Tobias (eds.) (2009):
09411 Abstracts Collection - Interaction versus Automation: The two Faces of Deduction.
Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, In: Interaction versus Automation: The two Faces of Deduction, 04.10. - 09.10.2009, In: Dagstuhl Seminar Proceedings, [Online-Edition: http://drops.dagstuhl.de/opus/volltexte/2010/2503/],
[Conference or Workshop Item]

Item Type: Conference or Workshop Item
Erschienen: 2009
Editors: Ball, Thomas and Giesl, Jürgen and Hähnle, Reiner and Nipkow, Tobias
Creators: Ball, Thomas and Giesl, Jürgen and Hähnle, Reiner and Nipkow, Tobias
Title: 09411 Abstracts Collection - Interaction versus Automation: The two Faces of Deduction
Language: German
Series Name: Dagstuhl Seminar Proceedings
Volume: 09411
Publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany
Divisions: 20 Department of Computer Science > Software Engineering
20 Department of Computer Science
Event Title: Interaction versus Automation: The two Faces of Deduction, 04.10. - 09.10.2009
Date Deposited: 27 Apr 2018 10:50
Official URL: http://drops.dagstuhl.de/opus/volltexte/2010/2503/
Export:

Optionen (nur für Redakteure)

View Item View Item