Produktinfo
Automated theorem proving
von Bibel, Wolfgang
Braunschweig Wiesbaden : Vieweg
9783528185206
Jahr: 1987
288 Seiten
Broschiert
Bestellnummer: 2015908
Beschreibung
Der Erhaltungszustand des hier angebotenen Werks ist trotz seiner Bibliotheksnutzung sehr sauber. Es befindet sich neben dem Rückenschild lediglich ein Bibliotheksstempel im Buch - ordnungsgemäß entwidmet. In ENGLISCHER Sprache.
books4less - ein Shop
des Versandantiquariats
Petra Gros