Animation Aussagenlogischer Beweise

  • Typ: Praxis der Softwareentwicklung
  • Zielgruppe: Bachelor
  • Lehrstuhl: ITI Sanders
  • Semester: WS 2021/2022
  • Beginn: 22.10.2021
  • Dozent:

    Tobias Heuer, Dr. Markus Iser