Hrsg.: Ball, Thomas ; Giesl, Jürgen ; Hähnle, Reiner ; Nipkow, Tobias (2009)
Interaction versus Automation: The two Faces of Deduction, 04.10. - 09.10.2009.
Buch, Bibliographie
URL / URN: http://drops.dagstuhl.de/portals/09411/
| Typ des Eintrags: | Buch |
|---|---|
| Erschienen: | 2009 |
| Herausgeber: | Ball, Thomas ; Giesl, Jürgen ; Hähnle, Reiner ; Nipkow, Tobias |
| Art des Eintrags: | Bibliographie |
| Titel: | Interaction versus Automation: The two Faces of Deduction, 04.10. - 09.10.2009 |
| Sprache: | Deutsch |
| Publikationsjahr: | 2009 |
| Verlag: | Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany |
| Reihe: | Dagstuhl Seminar Proceedings |
| Band einer Reihe: | 09411 |
| URL / URN: | http://drops.dagstuhl.de/portals/09411/ |
| Fachbereich(e)/-gebiet(e): | 20 Fachbereich Informatik > Software Engineering 20 Fachbereich Informatik |
| Hinterlegungsdatum: | 27 Apr 2018 10:50 |
| Letzte Änderung: | 27 Apr 2018 10:50 |
| PPN: | |
| Export: | |
| Suche nach Titel in: | TUfind oder in Google |
 |
Frage zum Eintrag |
Optionen (nur für Redakteure)
 |
Redaktionelle Details anzeigen |
Drucken
Impressum