Automatische Synthese rekursiver Programme als Beweisverfahren
Series: Informatik-Fachberichte
Publisher: Springer Berlin Heidelberg
Published: 1992
Place of publication: Berlin, Heidelberg
Language: ger
Format: Elektronische Ressource
ISBN-13: 9783642847448
Subjects: Existenzaussage; Induktionsbeweis; Automatisches Beweisverfahren; Programmsynthese
Notes: Lizenzpflichtig

Langzeitarchivierung gewährleistet LZA