Änderungen

Zur Navigation springen Zur Suche springen
120 Bytes hinzugefügt ,  17:00, 1. Jul. 2011
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 ==
64

Bearbeitungen

Cookies helfen uns bei der Bereitstellung von madipedia. Durch die Nutzung von madipedia erklärst du dich damit einverstanden, dass wir Cookies speichern.

Navigationsmenü