Susanne Biundo

Companion Technology

2017

Proceedings of the Fifteenth I

Proceedings of the Fifteenth International Conference on Automated Planning and Scheduling

2006

KI 2004 : Advances in Artifici

KI 2004 : Advances in Artificial Intelligence

2005

Proceedings of the Fifteenth I

Proceedings of the Fifteenth International Conference on Automated Planning and Scheduling (ICAPS 05)

2005

Automatische Synthese rekursiver Programme als Beweisverfahren

1992