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