ISBN 9783540556022 books & textbook
Automated Deduction - CADE-11: 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992. Proceedings (Lecture Notes in Computer Science, 607)
Springer /1992-05-27 Paperback / 816 Pages
isbn-10: 3540556028 / isbn-13: 9783540556022
