Susanne Biundo
Books
- KI 2004 : Advances in Artificial Intelligence
- Recent Advances in AI Planning
- Companion Technology
- Automatische Synthese rekursiver Programme als Beweisverfahren
- Proceedings of the Fifteenth International Conference on Automated Planning and Scheduling (ICAPS 05)
- Proceedings of the Fifteenth International Conference on Automated Planning and Scheduling
- Automatische Synthese rekursiver Programme als Beweisverfahren
Author data: Open Library