Product Information
Automated theorem proving
by Bibel, Wolfgang
Braunschweig Wiesbaden : Vieweg
9783528185206
year: 1987
288 Seiten
Broschiert
order number: 2015908
description
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 - a shop
from Versandantiquariat
Petra Gros