Detailseite
Projekt Druckansicht

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
Antragstellende Institution Universität des Saarlandes
 
 

Zusatzinformationen

Textvergrößerung und Kontrastanpassung