Proceedings of the Fifteenth International Conference on Automated Planning and SchedulingSusanne Biundo, Karen yers, Kanna Rajan · First published 2005 · Latest edition 2006Open the Tome
KI 2004 : Advances in Artificial IntelligenceSusanne Biundo, Thom ühwirth, Günther Palm · First published 2005Open the Tome
Automatische Synthese rekursiver Programme als BeweisverfahrenSusanne Biundo · First published 1992Open the Tome
