Automatisches Beweisen

  • Typ:
  • Lehrstuhl: Lehrstuhl Prof. Sanders
  • Semester: 6
  • Ort: SR 236
  • Zeit: Fr 09.45 - 11.15 Uhr
  • Beginn: 28.04.2006
  • Dozent: Th. Käufl
  • LVNr.: 24665
  • Prüfung: Prüfbar
  • Hinweis: Weiterführende Veranstaltung HD