Automatische Synthese rekursiver Programme als Beweisverfahren
By: Susanne Biundo.
Series: Informatik-Fachberichte ;; 302
Publisher: Springer-Verlag
Published: 1992
Place of publication: Berlin; New York
Language: ger
Number of pages: 259
Subjects: Automatic programming (Computer science)
Notes: Includes bibliographical references (p. [245]-252) and index.
Originally presented as the author's thesis (doctoral)--Universität Karlsruhe under the title: Automatische Synthese rekursiver Algorithmen als Beweisverfahren.