Automatisches Beweisen

  • Type:
  • Chair: Lehrstuhl Prof. Sanders
  • Semester: 6
  • Location: SR 236
  • Time: Fr 09.45 - 11.15 Uhr
  • Start: 28.04.2006
  • Lecturer: Th. Käufl
  • Lv-No.: 24665
  • Exam: Prüfbar
  • Information: Weiterführende Veranstaltung HD
Links