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: 20.04.2007
  • Lecturer:

    Th. Käufl

  • SWS: 2
  • Lv-No.: 24665
  • Exam:

    ja