
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 CAD$168.73
Price when purchased online
4 biweekly payments of $42.18 with
Free seller delivery, arrives by Thu, Jun 25 to
Sold and shipped by Ergodebooks Ships from USA
Return policy