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
eds.: Ball, Thomas ; Giesl, Jürgen ; Hähnle, Reiner ; Nipkow, Tobias (2009)
09411 Abstracts Collection - Interaction versus Automation: The two Faces of Deduction.
Interaction versus Automation: The two Faces of Deduction, 04.10. - 09.10.2009.
Conference or Workshop Item, Bibliographie

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
Type of entry: Bibliographie
Title: 09411 Abstracts Collection - Interaction versus Automation: The two Faces of Deduction
Language: German
Date: 2009
Publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany
Series: Dagstuhl Seminar Proceedings
Series Volume: 09411
Event Title: Interaction versus Automation: The two Faces of Deduction, 04.10. - 09.10.2009
URL / URN: http://drops.dagstuhl.de/opus/volltexte/2010/2503/
Divisions: 20 Department of Computer Science > Software Engineering
20 Department of Computer Science
Date Deposited: 27 Apr 2018 10:50
Last Modified: 18 May 2018 12:36
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