Home  | Impressum | Sitemap | KIT

Automatisches Beweisen

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

Aktuelles