Automatische Synthese rekursiver Programme als BeweisverfahrenSusanne Biundo

Automatische Synthese rekursiver Programme als Beweisverfahren

Susanne Biundo · 1992

איפה לקנות

המחיר באמזון משתנה מדי יום, אז הכי נכון לראות אותו שם ברגע הקנייה.

לצפייה באמזון

פרטי הספר

שנה: 1992
שפה: German
סדרה: Informatik-Fachberichte
הוצאה: Springer Berlin Heidelberg
מהדורות: 1
ISBN: 9783642847448

מקור הנתונים: Wikidata

עוד של Susanne Biundo

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