Author: Bibel, Wolfgang
Title: Automated Theorem Proving
Description: vieweg Braunschweig 1982. Format groß 8°, LEINEN, der Einband ist durch eine zusätzliche feste Transparentschutzfolie geschützt, 292 Seiten, dies ist ein regulär ausgesondertes Bibliotheksexemplar aus einer wissenschaftlichen Bibliothek, keine Markierungen / Anmerkungen, das Buch befindet sich in einem tadellosen Zustand --- LINEN BINDING, cover in foil, 292 pages, Lib.Ex., no marks, the book is in an excellent condition

Keywords:


See more books from our catalog: Informatik EDV