Items related to 5th Conference on Automated Deduction, Les Arcs, France,...
5th Conference on Automated Deduction, Les Arcs, France, 1980 (Lecture Notes in Computer Science, 87) - Softcover
Search results for 5th Conference on Automated Deduction, Les Arcs, France,...
Stock Image
Fifth Conference on Automated Deduction : Les Arcs Proceedings
Seller: Better World Books: West, Reno, NV, U.S.A.
Seller rating 5 out of 5 stars
Condition: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. Seller Inventory # 489121-6
Seller Image
5th Conference on Automated Deduction, Les Arcs, France, 1980 (Lecture Notes in Computer Science, 87)
Published by
Springer-Verlag, New York, 1980
ISBN 10: 0387100091
ISBN 13: 9780387100098
Used
paperback
Seller: Paderbuch e.Kfm. Inh. Ralf R. Eichmann, Bad Lippspringe, NRW, Germany
Seller rating 5 out of 5 stars
paperback. Condition: Good. W. Bibel and R. Kowalski (ed.): 5th Conference on Automated Deduction, Les Arcs, France, 1980 (Lecture Notes in Computer Science, vol. 87). Springer-Verlag, New York 1980. Broschur, 385 Seiten; Besitzvermerk, sonst ordentlicher Zustand. - Nur in englisch / in English only. Seller Inventory # 3807763074