Tag Suche nach Terminierung

Automatisierung von Terminierungsbeweisen - Buchbeschreibung, Ausstattung und ISBN Wer nach einem Buch von Christoph Walther aus dem Themenfeld Sachbuch sucht, findet mit Automatis...

Kurzprofil von Christoph Walther Für externe Zuordnungen ist außerdem die Open-Library-ID OL1069781A vorhanden. Profildaten im Überblick Zuletzt mit Open Library abgeglichen am: 20...

Kurzprofil von Vieweg+Teubner Verlag Vieweg+Teubner Verlag ist hier als Verlag erfasst und kann zur Einordnung von Buchausgaben herangezogen werden. Gerade für einen schnellen Über...