Loveland, Donald W. — Automated Theorem Proving: A Logical Basis
North-Holland Amsterdam 1978. Format groß 8°, LEINEN, Einband etwas geblichen/berieben, , 405 leicht nachgedunkelte Seiten, kleines Fleckchen auf dem Vorderdeckel, dies ist ein regulär ausgesondertes Bibliotheksexemplar aus einer wissenschaftlichen Bibliothek, keine Markierungen / Anmerkungen, das Buch befindet sich in einem guten Zustand --- LINEN BINDING, Lib.Ex., no marks, cover slightly brightened/rubbed, little dot on front cover, 405 a bit darkened pages, good condition
Machine translation by Google. The original description of the seller is leading.
Log in or create an account to translate descriptions. Log ind
Bognummer:
10571
€56.00 ($61.72 | £46.72 | ¥9,853)