Automated Deduction – CADE 27: 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings (Lecture Notes in Computer Science)
(No ratings yet)|Write a review

Automated Deduction – CADE 27: 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings (Lecture Notes in Computer Science)

Current price is $168.73
Price when purchased online
4 biweekly payments of $42.18 withbnpl
Free seller delivery, arrives by Thu, Jun 25 to
Sold and shipped by Ergodebooks Ships from USA
Return policy