Automatische Synthese rekursiver Programme als Beweisverfahren by Susanne Biundo | Menrva Books | MenrvaBooks