ISBN 3642224377 books & textbook
Automated Deduction -- CADE-23: 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 -- August 5, 2011, Proceedings (Lecture Notes in Computer Science, 6803)
Bjørner, Nikolaj Sofronie-Stokkermans, Viorica
Springer /2011-07-12 Paperback / 521 Pages
isbn-10: 3642224377 / isbn-13: 9783642224379
