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