ISBN 9783030510732 books & textbook
Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I (Lecture Notes in Artificial Intelligence)
Peltier, Nicolas Sofronie-Stokkermans, Viorica
Springer /2020-06-30 Paperback / 568 Pages
isbn-10: 3030510735 / isbn-13: 9783030510732