OMEGA, ein mathematisches Assistenzsystem (B 1)

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

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