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

Von:

Mitwirkende(r):

Resource type: Ressourcentyp: BuchBuchSprache: Deutsch Verlag: Braunschweig ; Wiesbaden : Vieweg, 1989Beschreibung: VIII, 172 S. : graph. DarstISBN:

Schlagwörter:

MSC: MSC: *68T15 | 68-01 | 03B35RVK: RVK: ST 304 | ST 130PPN: PPN: 025217119

Exemplare
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