Produktinfo
Grundlagen des maschinellen Beweisens : eine Einführung für Informatiker und Mathematiker
von Hofbauer, Dieter und Ralf-Detlef Kutsche
Braunschweig Wiesbaden : Vieweg
9783528047184
Jahr: 1989
VIII, 172 Seiten
Broschiert
Bestellnummer: 1684166
Beschreibung
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 dem Alter entsprechend gut.
books4less - ein Shop
des Versandantiquariats
Petra Gros