https://image22.fra1.digitaloceanspaces.com/VitalsourceFull/14.Education/gexdinzqgxBtcmjsgqCdknjygexdambqgaxdiobxhaCtomzqgCxtamrvgmBdinjw.jpeg

(eBook PDF) Automated Deduction CADE 27 27th International Conference on Automated Deduction, Natal, Brazil, August 27 30, 2019, Proceedings

Name: (eBook PDF) Automated Deduction CADE 27 27th International Conference on Automated Deduction, Natal, Brazil, August 27 30, 2019, Proceedings
Brand: ibuks
Price: 29.99 USD
Availability: InStock

ibuks

$29.99

(No reviews yet) Write a Review

SKU:
UPC:
Condition:: New

Current Stock:

Quantity:

Adding to cart… The item has been added

Description

(eBook PDF) Automated Deduction CADE 27 27th International Conference on Automated Deduction, Natal, Brazil, August 27 30, 2019, Proceedings

Related Products

https://image22.fra1.digitaloceanspaces.com/VitalsourceFull/14.Education/gexdinzqgxBtcmjsgqCdknjygexdambqgaxdiobxhaCtcobzhextamrvgmxtemjt.jpeg — Add to Cart The item has been added

ibuks

(eBook PDF) Automated Deduction - CADE-14 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13 - 17, 1997, Proceedings

$19.99

https://image22.fra1.digitaloceanspaces.com/VitalsourceFull/14.Education/gexdinzqgxBtcmjsgqCdknjygexdambqgaxdiobxhaCtembtgextamrvgmxtgnbw.jpeg — Add to Cart The item has been added

ibuks

(eBook PDF) Automated Deduction in Geometry 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers

$14.99

https://image22.fra1.digitaloceanspaces.com/VitalsourceFull/14.Education/gexdinzqgxBtcmjsgqCdknjygexdambqgaxdiobxhaCtimrwguxtamrvgmztkmzr.jpeg — Add to Cart The item has been added

ibuks

(eBook PDF) Automated Deduction in Geometry 1st Edition 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers

$19.99

https://image22.fra1.digitaloceanspaces.com/VitalsourceFull/14.Education/gexdinzqgxBtcmjsgqCdknjygexdambqgaxdiobxhaCtamjvgqxtamrvgiCtkmjs.jpeg — Add to Cart The item has been added

ibuks

(eBook PDF) Automated Deduction in Geometry 1st Edition 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008, Revised Papers

$19.99

https://image22.fra1.digitaloceanspaces.com/VitalsourceFull/14.Education/gexdinzqgxBtcmjsgqCdknjygexdambqgaxdiobxhaCtgobtgextamrvgmztcmbr.jpeg — Add to Cart The item has been added

ibuks

(eBook PDF) Interactive Theorem Proving 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings

$19.99

https://image22.fra1.digitaloceanspaces.com/Full63k/16770353375a1e55fcb9.jpeg — Add to Cart The item has been added

ibuks

(eBook PDF) Intelligent Data Engineering and Automated Learning - IDEAL 2002: Third International Conference, Manchester, UK, August 12-14 Proceedings

$24.99

https://image22.fra1.digitaloceanspaces.com/VitalsourceFull/14.Education/gexdinzqgxBtcmjsgqCdknjygexdambqgaxdiobxhaCdsojugixtamrvgiCteojx.jpeg — Add to Cart The item has been added

ibuks

(eBook PDF) Language and Automata Theory and Applications 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings

$19.99

https://image22.fra1.digitaloceanspaces.com/VitalsourceFull/14.Education/gexdinzqgxBtcmjsgqCdknjygexdambqgaxdiobxhaCteobvgaxtamrvgmzdcmzz.jpeg — Add to Cart The item has been added

ibuks

(eBook PDF) Advances in Soft Computing 18th Mexican International Conference on Artificial Intelligence, MICAI 2019, Xalapa, Mexico, October 27 November 2, 2019, Proceedings

$19.99

https://image22.fra1.digitaloceanspaces.com/VitalsourceFull/14.Education/gexdinzqgxBtcmjsgqCdknjygexdambqgaxdiobxhaCteobrguxtamrvgmzdcmbq.jpeg — Add to Cart The item has been added

ibuks

(eBook PDF) Automated Reasoning with Analytic Tableaux and Related Methods 26th International Conference, TABLEAUX 2017, Bras lia, Brazil, September 25 28, 2017, Proceedings

$24.99