Automatische Synthese rekursiver Programme als BeweisverfahrenSusanne Biundo

Automatische Synthese rekursiver Programme als Beweisverfahren

Susanne Biundo · 1992

Where to buy

Amazon’s price changes daily, so the most accurate place to see it is there, at the moment you buy.

Book details

Year: 1992
Language: German
Series: Informatik-Fachberichte
Publisher: Springer Berlin Heidelberg
Editions: 1
ISBN: 9783642847448

Data source: Wikidata

More by 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