Tag Suche nach Automatic programming (Computer science)

Automatische Synthese rekursiver Programme als Beweisverfahren - Details zu Inhalt, Autor und Veröffentlichung Automatische Synthese rekursiver Programme als Beweisverfahren ist ei...

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...

Springer-Verlag im Überblick Springer-Verlag ist hier als Verlag erfasst und kann zur Einordnung von Buchausgaben herangezogen werden. Gerade für einen schnellen Überblick über Ver...