Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II: 12167 (Lecture Notes in Computer Science)
by Nicolas Peltier,Viorica Sofronie-Stokkermans
ISBN 13: 9783030510534
Format: Paperback (532 pages) Publisher: Springer Published: 30 Jun 2020
Save for later
Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I: 12166 (Lecture Notes in Computer Science)
ISBN 13: 9783030510732
Format: Paperback (568 pages) Publisher: Springer Published: 30 Jun 2020
FREE UK DELIVERY 
Global shipping from £2.99
FREE UK DELIVERY
30 Day Refund Guarantee
