Yazar
Susanne Biundo
7 cilt bulundu.
Cilt sonuçları
Automatische Synthese rekursiver Programme als Beweisverfahren
Susanne Biundo · Springer-Verlag
259 sayfa · 1992
Automatic programming (Computer science) / Computer programming
Automatische Synthese rekursiver Programme als Beweisverfahren
Susanne Biundo · Springer Berlin Heidelberg
Sayfa sayısı yok · 1992
Existenzaussage / Induktionsbeweis / Automatisches Beweisverfahren / Programmsynthese
KI 2004 : Advances in Artificial Intelligence
Susanne Biundo, Thom ühwirth, Günther Palm · Springer London, Limited
Sayfa sayısı yok · 2005
Artificial intelligence
Proceedings of the Fifteenth International Conference on Automated Planning and Scheduling (ICAPS 05)
Susanne Biundo, Karen Myers, Kanna Rajan · AAAI Press
400 sayfa · 2005
Production planning / Artificial intelligence / Congresses / Planning / Data processing