64
Bearbeitungen
Gerhard Holland: Unterschied zwischen den Versionen
→Projekte
| [unmarkierte Version] | [unmarkierte Version] |
| Zeile 39: | Zeile 39: | ||
== 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 == | ||