ISBN 3319214004 books & textbook
Automated Deduction - CADE-25: 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings (Lecture Notes in Artificial Intelligence)
Felty, Amy P. Middeldorp, Aart
Springer /2015-07-30 Paperback / 668 Pages
isbn-10: 3319214004 / isbn-13: 9783319214009
