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

by Nicolas Peltier (Editor), Viorica Sofronie-Stokkermans (Editor)

New
Paperback
2020
$83.41

$83.41

Save:$5.98 (7%)

Quantity

10 in stock

More Information

Format: Paperback
Pages: 568
Edition: 1st ed. 2020
Publisher: Springer
Published: 30 Jun 2020
ISBN 10: 3030510735
ISBN 13: 9783030510732

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

New

$83.41

$83.41

More Information