Title: Automatische Synthese rekursiver Programme als Beweisverfahren
Subjects: Automatic programming (Computer science), Computer programming