Author: Goos / Hartmanis
Title: 5th Conference on Automated Deduction 1980, Les Arcs
Description: Springer Berlin 1980. Format groß 8°, broschiert, Abriebstelle vonentfernter Rückensignatur, 385 nachgedunkelte Seiten, dies ist ein regulär ausgesondertes Bibliotheksexemplar aus einer wissenschaftlichen Bibliothek, keine Markierungen / Anmerkungen, das Buch befindet sich in einem guten Zustand --- Softcover, 385 darkened pages, little dot from deleted label on cover, Lib.Ex., no marks, the book is in a good condition

Keywords:


See more books from our catalog: Informatik EDV