ISBN 354019343X books & textbook

9th International Conference on Automated Deduction: Argonne, Illinois, USA, May 23-26, 1988. Proceedings (Lecture Notes in Computer Science, 310)

Lusk, Ewing Overbeek, Ross

Springer /1988-05-04 Paperback / 786 Pages
isbn-10: 354019343X / isbn-13: 9783540193432