Tag Suche nach Beweis (Mathematik)

Automated Theorem Proving von W. Bibel - Informationen zur Ausgabe Wer nach einem Buch von W. Bibel aus dem Themenfeld Sachbuch sucht, findet mit Automated Theorem Proving eine Aus...

Was ist zu W. Bibel bekannt? Als Geburtsdatum ist 1938 verzeichnet. Als externe Referenz ist die Open-Library-ID OL1099193A hinterlegt. Wichtige Angaben Open-Library-ID: OL1099193A...

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