ISBN 3319085867 books & textbook
Automated Reasoning: 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, ... (Lecture Notes in Artificial Intelligence)
Demri, Stéphane Kapur, Deepak Weidenbach, Christoph
Springer /2014-08-04 Paperback / 556 Pages
isbn-10: 3319085867 / isbn-13: 9783319085869
