Automatische Synthese rekursiver Programme als Beweisverfahrenby Susanne BiundoExistenzaussageInduktionsbeweisAutomatisches BeweisverfahrenProgrammsyntheseWriting a summary for young readers…For young readersBook data: Open Library
