64
Bearbeitungen
Achtung: diese Seite wird nur zu Testzwecken betrieben. Hier gelangen Sie zur Madipedia-Website: https://madipedia.de
Gerhard Holland: Unterschied zwischen den Versionen
Zur Navigation springen
Zur Suche springen
→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 == | ||