OMEGA, ein mathematisches Assistenzsystem (B 1)

Fachliche Zuordnung Theoretische Informatik
Förderung Förderung von 1996 bis 2001
Projektkennung Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 5479288
 

Projektbeschreibung

Keine Zusammenfassung vorhanden
DFG-Verfahren Sonderforschungsbereiche
Teilprojekt zu SFB 378:  Ressourcenadaptive kognitive Prozesse
Antragstellende Institution Universität des Saarlandes
Teilprojektleiterinnen / Teilprojektleiter Professor Dr. Michael Kohlhase; Privatdozentin Dr. Erica Melis (†); Professor Dr. Jörg H. Siekmann