Automated theorem proving. Artificial intelligence Bibel, Wolfgang:
78,05 €
2., rev. ed. Braunschweig ; Wiesbaden : Vieweg 1987. 288 Seiten; Broschiert Sprache: Englisch ISBN: 3528185201 EAN: 9783528185206 Bestell-Nr: 2015908 Bemerkungen: 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.
Jetzt bei Ebay: