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,...
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