Automatisches Beweisen

Automatisches Beweisen
Type: lecture
Chair: Prof. Dr. Peter Sanders
Semester: 6
Location: SR 236, Geb. 50.34
Time:

Freitag 9.45 - 11.15 Uhr

Start: 24.04.2009
Lecturer:

Th. Käufl

SWS: 2
Lv-No.: 24665
Exam:

ja