OMEGA, ein mathematisches Assistenzsystem (B 1)

Subject Area Theoretical Computer Science
Term from 1996 to 2001
Project identifier Deutsche Forschungsgemeinschaft (DFG) - Project number 5479288
 

Project Description

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