Title: Automatische Synthese rekursiver Programme als Beweisverfahren
Subjects: Existenzaussage, Induktionsbeweis, Automatisches Beweisverfahren, Programmsynthese