Home  | Impressum | Sitemap | KIT

Automatisches Beweisen

Automatisches Beweisen
Typ: Vorlesung Links:
Lehrstuhl: Prof. Dr. Peter Sanders
Dozent: T. Käufl, P. Sanders
SWS: 2
LVNr.: 24665
Prüfung: ja