Animation Aussagenlogischer Beweise

  • Type: Praxis der Softwareentwicklung
  • Chair: ITI Sanders
  • Semester: WS 2021/2022
  • Start: 22.10.2021
  • Lecturer:

    Tobias Heuer, Dr. Markus Iser
Links

Projektbeschreibung