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