TOP
Suche auf der Schloss Dagstuhl Webseite
Sie suchen nach Informationen auf den Webseiten der einzelnen Seminare? - Dann:
Nicht fündig geworden? - Einige unserer Dienste laufen auf separaten Webseiten mit jeweils eigener Suche. Bitte beachten Sie folgende Liste:
Schloss Dagstuhl - LZI - Logo
Schloss Dagstuhl Services
Seminare
Innerhalb dieser Seite:
Externe Seiten:
  • DOOR (zum Registrieren eines Dagstuhl Aufenthaltes)
  • DOSA (zum Beantragen künftiger Dagstuhl Seminare oder Dagstuhl Perspektiven Workshops)
Publishing
Innerhalb dieser Seite:
Externe Seiten:
dblp
Innerhalb dieser Seite:
Externe Seiten:
  • die Informatik-Bibliographiedatenbank dblp


Aktuelles

Interaktion versus Automatisierung: Die zwei Gesichter der Deduktion

Kategorien:
Computerclub Zwei, Folge 193. Wolfgang Back und Wolfgang Rudolph im Gespräch mit Prof. Dr. Jürgen Giesl

Computerclub Zwei, Folge 193

Wolfgang Back und Wolfgang Rudolph im Gespräch mit Prof. Dr. Jürgen Giesl zu Dagstuhl-Seminar 09411:

Interaktion versus Automatisierung: Die zwei Gesichter der Deduktion

Download der Sendung

(Interview ab 20:50 min)

Details zu dem Dagstuhl-Seminar

09411 «Interaction versus Automation: The two Faces of Deduktion»


Related Seminar: 09411 Interaction versus Automation: The two Faces of Deduction