Grundlagen des maschinellen Beweisens : eine Einführung für Informatiker und Mathematiker / Dieter Hofbauer; Ralf-Detlef Kutsche
Mitwirkende(r): Resource type: Ressourcentyp: BuchBuchSprache: Deutsch Verlag: Braunschweig ; Wiesbaden : Vieweg, 1989Beschreibung: VIII, 172 S. : graph. DarstISBN:- 3528047186
Medientyp | Heimatbibliothek | Standort | Signatur | Status | Fälligkeitsdatum | Barcode | Vormerkungen | |
---|---|---|---|---|---|---|---|---|
Freihandbestand ausleihbar | Fachbibliothek Mathematik | Bibliothek / frei aufgestellt | Grundl./Logik / Hof | Verfügbar | 09036115357 |
Anzahl Vormerkungen: 0