Name: Automated Deduction - CADE 26: 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings Ebook
SKU: 403a8c9a0bcc
Price: 25.00 USD
Availability: InStock

Automated Deduction – CADE 26: 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings Ebook

$25.00

eText ISBN: 9783319630465

SKU: 403a8c9a0bcc Category: Ebook

.eText ISBN: 9783319630465

Automated Deduction – CADE 26: 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings Ebook

Related products

Login