ISBN 3319942042 books & textbook
Automated Reasoning: 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July ... (Lecture Notes in Artificial Intelligence)
Galmiche, Didier Schulz, Stephan Sebastiani, Roberto
Springer /2018-07-01 Paperback / 742 Pages
isbn-10: 3319942042 / isbn-13: 9783319942049
