Name: (eBook PDF) Automated Deduction - CADE-14 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13 - 17, 1997, Proceedings
Brand: ibuks
Price: 19.99 USD
Availability: InStock

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

ibuks

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

$29.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/gexdinzqgxBtcmjsgqCdknjygexdambqgaxdiobxhaCtknbzgextamrvgmAdomrr.jpeg — Add to Cart The item has been added

ibuks

(eBook PDF) Automated Reasoning 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings

$19.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/gexdinzqgxBtcmjsgqCdknjygexdambqgaxdiobxhaCtimjrgCxtamrvgmztgobz.jpeg — Add to Cart The item has been added

ibuks

(eBook PDF) Functional Interpretation Of Logical Deduction, The

$30.00

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

ibuks

(eBook PDF) Intelligent Autonomous Systems 14: Proceedings of the 14th International Conference IAS-14

$24.99

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

ibuks

(eBook PDF) Automated Reasoning 1st Edition 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010, Proceedings

$29.99

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

ibuks

(eBook PDF) Implementation and Application of Automata 21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016, Proceedings

$19.99

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

Write a Review

ibuks

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