The No1 Ethical retailer for Books, CD’s, DVD’s & Games
30 Day Refund Guarantee

Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings: 13385 (Lecture Notes in Computer Science, 13385)

Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings: 13385 (Lecture Notes in Computer Science, 13385)

by Dirk Pattinson (Editor), Dirk Pattinson (Editor), Jasmin Blanchette (Editor), Laura Kovács (Editor)

$42.89

Quantity

10 in stock

More Information

Format: Paperback
 Pages: 771
 Edition: 1st ed. 2022
ISBN 13: 9783031107689