Automatisches Beweisen

  • Type: lecture
  • Chair: Prof. Dr. Peter Sanders
  • Lecturer: T. Käufl, P. Sanders
  • SWS: 2
  • Lv-No.: 24665
  • Exam: ja
Links