Home  | Impressum | Sitemap | KIT

Automatisches Beweisen

Automatisches Beweisen
Typ: Links:
Lehrstuhl: Lehrstuhl Prof. Sanders
Semester: 6
Ort: SR 236
Zeit: Fr 09.45 - 11.15 Uhr
Beginn: 28.04.2006
Dozent: Th. Käufl
LVNr.: 24665
Prüfung: Prüfbar
Hinweis: Weiterführende Veranstaltung HD