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 (Editor), Viorica Sofronie-Stokkermans (Editor)

New
Paperback
2020
$77.36

$77.36

Save:$5.65 (7%)

Quantity

10 in stock

More Information

Format: Paperback
Pages: 532
Edition: 1st ed. 2020
Publisher: Springer
Published: 30 Jun 2020
ISBN 10: 3030510530
ISBN 13: 9783030510534

Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II: 12167 (Lecture Notes in Computer Science)

New

$77.36

$77.36

More Information