Automatisches Beweisen
| Typ: | Links: | Webseite | |
|---|---|---|---|
| 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 | ||
letzte Änderung:
31.05.2012
KIT – Universität des Landes Baden-Württemberg und nationales Forschungszentrum in der Helmholtz-Gemeinschaft