Home  | Impressum | Sitemap | KIT

Automatisches Beweisen

Automatisches Beweisen
Typ: Vorlesung Links:
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