Automatisches Beweisen
| Typ: | Vorlesung | Links: | Webseite |
|---|---|---|---|
| Lehrstuhl: | Prof. Dr. Peter Sanders | ||
| Semester: | 6 | ||
| Ort: | SR 236, Geb. 50.34 | ||
| Zeit: | Freitag 9.45 - 11.15 Uhr |
||
| Beginn: | 20.04.2007 | ||
| Dozent: | Th. Käufl |
||
| SWS: | 2 | ||
| LVNr.: | 24665 | ||
| Prüfung: | ja |
||
