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
• Subproject of: SFB 378: Resource-adaptive cognitive processes
• Applicant Institution: Universität des Saarlandes
• Project Heads: Professor Dr. Michael Kohlhase; Privatdozentin Dr. Erica Melis (†); Professor Dr. Jörg H. Siekmann