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

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

Name: (eBook PDF) Automated Reasoning 1st Edition 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010, 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 Reasoning 1st Edition 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010, Proceedings

Related Products

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

ibuks

(eBook PDF) Automated Reasoning 1st Edition 10th International Joint Conference, IJCAR 2020, Paris, France, July 1 4, 2020, Proceedings, Part II

$24.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/Full63k/167703979143960ae032.jpeg — Add to Cart The item has been added

ibuks

(eBook PDF) Web-Age Information Management: 11th International Conference, WAIM 2010, Jiuzhaigou, China, July 15-17, 2010, Proceedings

$19.99

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

ibuks

(eBook PDF) Mathematics and Modern Art 1st Edition Proceedings of the First ESMA Conference, held in Paris, July 19-22, 2010

$30.00

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

ibuks

(eBook PDF) Artificial Intelligence, Automated Reasoning, and Symbolic Computation: Joint International Conferences, AISC 2002 and Calculemus 2002 Marseille, France, July 1-5, 2002 Proceedings / Edition 1

$24.99

https://45k.fra1.digitaloceanspaces.com/9783540438656_p0_v2_s550x406.jpg — Add to Cart The item has been added

Sagaform

PDF Ebook - Artificial Intelligence, Automated Reasoning, and Symbolic Computation: Joint International Conferences, AISC 2002 and Calculemus 2002 Marseille, France, July 1-5, 2002 Proceedings / Edition 1

$25.00

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

ibuks

(eBook PDF) Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings

$14.99

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

ibuks

(eBook PDF) Competence in High Performance Computing 2010 Proceedings of an International Conference on Competence in High Performance Computing, June 2010, Schloss Schwetzingen, Germany

$29.99

https://45k.fra1.digitaloceanspaces.com/9783540615101_p0_v2_s550x406.jpg — Add to Cart The item has been added

Sagaform

PDF Ebook - Artificial Neural Networks - ICANN 96: 6th International Conference, Bochum, Germany, July 16 - 19, 1996. Proceedings

$25.00