TU Darmstadt / ULB / TUbiblio

Interaction versus Automation: The two Faces of Deduction, 04.10. - 09.10.2009

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

Item Type: Book
Erschienen: 2009
Editors: Ball, Thomas and Giesl, Jürgen and Hähnle, Reiner and Nipkow, Tobias
Title: Interaction versus Automation: The two Faces of Deduction, 04.10. - 09.10.2009
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
Date Deposited: 27 Apr 2018 10:50
Official URL: http://drops.dagstuhl.de/portals/09411/
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