Automatische Synthese rekursiver Programme als Beweisverfahrenby Susanne BiundoAutomatic programming (Computer science)Computer programmingWriting a summary for young readers…For young readersBook data: Open Library