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