Ralf-Detlef Kutsche

• Business Intelligence
• Grundlagen des maschinellen Beweisens
• Grundlagen des maschinellen Beweisens
• Fundamental Approaches to Software Engineering
• Model-Based Software and Data Integration