Weitere Themen...

• International Workshop on Rule-Based Modeling and Simulation of Interacting Systems and Agents (RBMS-2006)
• Interview with Gerd Wagner: "Automated reasoning is not the key to all our problems", 11.06.2007