Custom cover image
Grundlagen des maschinellen Beweisens : eine Einführung für Informatiker und Mathematiker / Dieter Hofbauer; Ralf-Detlef Kutsche
Contributor(s): Resource type: Ressourcentyp: BuchBookLanguage: German Publisher: Braunschweig ; Wiesbaden : Vieweg, 1989Description: VIII, 172 S. : graph. DarstISBN:- 3528047186
| Item type | Home library | Shelving location | Call number | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|---|
| Freihandbestand ausleihbar | Fachbibliothek Mathematik | Bibliothek / frei aufgestellt | Grundl./Logik / Hof | Available | 09036115357 |
Total holds: 0
Literaturverz. S. 159 - 163