Grundlagen des maschinellen Beweisens Eine Einführung für Informatiker und Mathematiker
von Dieter Hofbauer Verlag: Braunschweig ; Wiesbaden: Vieweg. 1989
23 cm. VIII, 172 S. Orig.-Karton. graph. Darst. Gutes Exemplar.
Grundlagen des maschinellen Beweisens: Eine Einführung für Informatiker und Mathematiker
von Dieter Hofbauer Verlag: Vieweg+Teubner Verlag
Taschenbuch 22.8 X 16.2 X 1.6 cm 184 S. EAN: 9783528047184Das Buch könnte Gebrauchsspuren und Knicke aufweisen, ansonsten allgemein in gutem Zustand. Gegebenenfalls kann Namenseintrag tragen und das Titelbild oder die Auflage könnte abweichen. Kostenfreie Rücksendung. Die Rechnung mit ausgewiese…
Grundlagen des maschinellen Beweisens : eine Einführung für Informatiker und Mathematiker.
von Dieter Hofbauer Verlag: Braunschweig ; Wiesbaden : Vieweg
1989. Broschiert VIII, 172 Seiten; Das hier angebotene Buch stammt aus einer teilaufgelösten wissenschaftlichen Bibliothek und trägt die entsprechenden Kennzeichnungen (Rückenschild, Instituts-Stempel...); leichte altersbedingte Anbräunung des Papiers; der Buchzustand ist ansonsten ordentlich und…
Grundlagen des maschinellen Beweisens - Eine Einführung für Informatiker und Mathematiker
von Ralf-Detlef Kutsche, Dieter Hofbauer
1989 Kartoniert, 184 Seiten, 244mm x 170mm x 11mm, Sprache(n): ger Dieses Buch ist entstanden aus einer Lehrveranstaltung, die wir in den Jahren 1987 und 1988 konzipiert und weiterentwickelt haben. Sie ist an der Technischen Universitlit Berlin unter dem Namen "LOGIK II fUr Informatiker: Grundla…
Grundlagen des maschinellen Beweisens - Eine Einführung für Informatiker und Mathematiker
von Dieter Hofbauer Verlag: Vieweg & Teubner,
1989 1989. Gepflegter, sauberer Zustand. Aus der Auflösung einer renommierten Bibliothek. Kann Stempel beinhalten. 22692860/202
- ISBN / EAN
- 9783528047184
Speichern Sie Ihre Suche als Auftrag für einen späteren Zeitpunkt und lassen Sie sich bei neu eintreffenden Artikeln automatisch per E-Mail benachrichtigen (optional)!