Author: Loveland, Donald W.
Title: Automated Theorem Proving: A Logical Basis
Description: 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

Keywords:


See more books from our catalog: Informatik EDV