Veranstaltungen des Instituts für Mathematik und Informatik

weitere Informationen und Anmeldung: 

Vorkurs Mathematik

Computer-Assisted Verification of Kripke Models for Modal Logic

Informationsveranstaltung für Erstsemester