Automatisches Beweisen
| Typ: | Vorlesung | Links: | Webseite |
|---|---|---|---|
| Lehrstuhl: | Prof. Dr. Peter Sanders | ||
| Dozent: | T. Käufl, P. Sanders | ||
| SWS: | 2 | ||
| LVNr.: | 24665 | ||
| Prüfung: | ja | ||
letzte Änderung:
31.05.2012
KIT – Universität des Landes Baden-Württemberg und nationales Forschungszentrum in der Helmholtz-Gemeinschaft