64
Bearbeitungen
Änderungen
→Projekte
== Projekte ==
== Projekte ==
<!-- Auflistung der Forschungsprojekte, mit [[...]] verweisen! -->
<!-- Auflistung der Forschungsprojekte, mit [[...]] verweisen! -->
GEOLOG:
integrierte Lernumgebung mit einem tutoriellen Modul und automatischem Beweiser für bestimmte Problemklassen.
== Vernetzung ==
== Vernetzung ==