Agent-oriented Proof Planing (MI 04)

• Subject Area: Image and Language Processing, Computer Graphics and Visualisation, Human Computer Interaction, Ubiquitous and Wearable Computing
• Term: from 2002 to 2007
• 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: Dr. Serge Autexier; Professor Dr.-Ing. Christoph Benzmüller; Professor Dr. Jörg H. Siekmann