Susanne Biundo
Susanne Biundo
6 ספרים במאגר
ספרים
Companion TechnologySusanne Biundo
Companion Technology
Susanne Biundo · 2017
Proceedings of the Fifteenth International Conference on Automated Planning and SchedulingSusanne Biundo
Proceedings of the Fifteenth International Conference on Automated Planning and Scheduling
Susanne Biundo · 2006
Recent Advances in AI PlanningSusanne Biundo
Recent Advances in AI Planning
Susanne Biundo · 2006
KI 2004 : Advances in Artificial IntelligenceSusanne Biundo
KI 2004 : Advances in Artificial Intelligence
Susanne Biundo · 2005
Proceedings of the Fifteenth International Conference on Automated Planning and Scheduling (ICAPS 05)Susanne Biundo
Proceedings of the Fifteenth International Conference on Automated Planning and Scheduling (ICAPS 05)
Susanne Biundo · 2005
Automatische Synthese rekursiver Programme als BeweisverfahrenSusanne Biundo
Automatische Synthese rekursiver Programme als Beweisverfahren
Susanne Biundo · 1992