Tag Suche nach Programmsynthese

Automatische Synthese rekursiver Programme als Beweisverfahren im Überblick Automatische Synthese rekursiver Programme als Beweisverfahren gehört zur Kategorie Sachbuch und stammt...

Kurzprofil von Susanne Biundo Für externe Zuordnungen ist außerdem die Open-Library-ID OL757469A vorhanden. Hinterlegte Eckdaten Zuletzt mit Open Library abgeglichen am: 2008-08-24...

Was ist über Springer Berlin Heidelberg bekannt? Springer Berlin Heidelberg ist hier als Verlag erfasst und kann zur Einordnung von Buchausgaben herangezogen werden. Gerade für ein...