Custom cover image
Custom cover image

Grundlagen des maschinellen Beweisens : eine Einführung für Informatiker und Mathematiker / Dieter Hofbauer; Ralf-Detlef Kutsche

By: Contributor(s): Resource type: Ressourcentyp: BuchBookLanguage: German Publisher: Braunschweig ; Wiesbaden : Vieweg, 1989Description: VIII, 172 S. : graph. DarstISBN:
  • 3528047186
Subject(s): MSC: MSC: *68T15 | 68-01 | 03B35RVK: RVK: ST 304 | ST 130PPN: PPN: 025217119
Holdings
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

Powered by Koha