Project Details
Projekt Print View

OMEGA, ein mathematisches Assistenzsystem (B 1)

Subject Area Theoretical Computer Science
Term from 1996 to 2001
Project identifier Deutsche Forschungsgemeinschaft (DFG) - Project number 5479288
 
No abstract available
DFG Programme Collaborative Research Centres
Applicant Institution Universität des Saarlandes
 
 

Additional Information

Textvergrößerung und Kontrastanpassung