Susanne Biundo

• Automatische Synthese rekursiver Programme als Beweisverfahren
• Companion Technology
• Automatische Synthese rekursiver Programme als Beweisverfahren
• KI 2004 : Advances in Artificial Intelligence
• Proceedings of the Fifteenth International Conference on Automated Planning and Scheduling
• Proceedings of the Fifteenth International Conference on Automated Planning and Scheduling (ICAPS 05)
• Recent Advances in AI Planning