TU Darmstadt / ULB / TUbiblio

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

Ball, Thomas ; Giesl, Jürgen ; Hähnle, Reiner ; Nipkow, Tobias
Ball, Thomas ; Giesl, Jürgen ; Hähnle, Reiner ; Nipkow, Tobias (eds.) (2009):
09411 Abstracts Collection - Interaction versus Automation: The two Faces of Deduction.
In: Dagstuhl Seminar Proceedings, 09411, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, Interaction versus Automation: The two Faces of Deduction, 04.10. - 09.10.2009, [Conference or Workshop Item]

Item Type: Conference or Workshop Item
Erschienen: 2009
Editors: Ball, Thomas ; Giesl, Jürgen ; Hähnle, Reiner ; Nipkow, Tobias
Creators: Ball, Thomas ; Giesl, Jürgen ; Hähnle, Reiner ; Nipkow, Tobias
Title: 09411 Abstracts Collection - Interaction versus Automation: The two Faces of Deduction
Language: German
Series: Dagstuhl Seminar Proceedings
Series 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
URL / URN: http://drops.dagstuhl.de/opus/volltexte/2010/2503/
PPN:
Export:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)
Show editorial Details Show editorial Details