Automated Deduction – CADE 28: 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings (Lecture Notes in Computer Science)
ISBN-13: 9783030798758
ISBN-10: 3030798755
Edition: 1st ed. 2021
Binding: Paperback
Publisher: Springer
Published: 2021-07-08
Best Prices for this Book in New Condition
-
+3.99 shipping
-
Best Used Prices
-
-
-
+3.99 shipping
As an Amazon Associate we earn from qualifying purchases.