ISBN 0387528857 books & textbook
10th International Conference on Automated Deduction: Kaiserslautern, Frg, July 24-27, 1990 Proceedings (Lecture Notes in Computer Science 449)
Springer Verlag /1990-01-01 Paperback / 688 Pages
isbn-10: 0387528857 / isbn-13: 9780387528854
