Tag Suche nach Automatisiertes Beweisverfahren

Grundlagen des maschinellen Beweisens von Dieter Hofbauer, Ralf-Detlef Kutsche - Informationen zur Ausgabe Wer nach einem Buch von Dieter Hofbauer, Ralf-Detlef Kutsche aus dem Them...

Was ist zu Ralf-Detlef Kutsche bekannt? Für externe Zuordnungen ist außerdem die Open-Library-ID OL7886890A vorhanden. Hinterlegte Eckdaten Rolle im Datensatz: author Open-Library-...

Was ist zu Dieter Hofbauer bekannt? Für externe Zuordnungen ist außerdem die Open-Library-ID OL7882945A vorhanden. Hinterlegte Eckdaten Open-Library-ID: OL7882945A Letztes Open-Lib...

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