Automatisches Beweisen

  • Typ: Vorlesung
  • Lehrstuhl: Prof. Dr. Peter Sanders
  • Dozent: T. Käufl, P. Sanders
  • SWS: 2
  • LVNr.: 24665
  • Prüfung: ja