Automatisches Beweisen

  • Typ: Vorlesung
  • Lehrstuhl: Prof. Dr. Peter Sanders
  • Semester: 6
  • Ort: SR 236, Geb. 50.34
  • Zeit:

    Freitag 9.45 - 11.15 Uhr

  • Beginn: 24.04.2009
  • Dozent:

    Th. Käufl

  • SWS: 2
  • LVNr.: 24665
  • Prüfung:

    ja