528
Bearbeitungen
Änderungen
Zur Navigation springen
Zur Suche springen
KZeile 45:
Zeile 45: − +
→Vernetzung
integrierte Lernumgebung mit einem tutoriellen Modul und automatischem Beweiser für bestimmte Problemklassen.
integrierte Lernumgebung mit einem tutoriellen Modul und automatischem Beweiser für bestimmte Problemklassen.
== Vernetzung ==
== Mitgliedschaften ==
<!-- Mitgliedschaften in Arbeitskreisen, der GDM, der DMV, ... -->
<!-- Mitgliedschaften in Arbeitskreisen, der GDM, der DMV, ... -->
<!-- Kooperationen mit anderen Wissenschaftlerinnen und Wissenschaftlern, in Listenform -->
<!-- Kooperationen mit anderen Wissenschaftlerinnen und Wissenschaftlern, in Listenform -->