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

(eBook PDF) Symbolic Computation and Automated Reasoning 1st Edition The CALCULEMUS-2000 Symposium

Name: (eBook PDF) Symbolic Computation and Automated Reasoning 1st Edition The CALCULEMUS-2000 Symposium
Brand: ibuks
Price: 30 USD
Availability: InStock

ibuks

$30.00

(No reviews yet) Write a Review

SKU:
UPC:
Condition:: New

Current Stock:

Quantity:

Adding to cart… The item has been added

Description

(eBook PDF) Symbolic Computation and Automated Reasoning 1st Edition The CALCULEMUS-2000 Symposium

Related Products

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://image22.fra1.digitaloceanspaces.com/VitalsourceFull/14.Education/gexdinzqgxBtcmjsgqCdknjygexdambqgaxdiobxhaCtmmzvhaxtamrvgmAtkmrw.jpeg — Add to Cart The item has been added

ibuks

(eBook PDF) Fundamentals of Logic and Computation With Practical Automated Reasoning and Verification

$19.99

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

ibuks

(eBook PDF) Neural-Symbolic Cognitive Reasoning / Edition 1

$19.99

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

ibuks

(eBook PDF) Differential Equations with Symbolic Computation 1st Edition

$30.00

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

ibuks

(eBook PDF) Algebraic and Symbolic Computation Methods in Dynamical Systems 1st Edition

$29.99

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

ibuks

(eBook PDF) High Performance Computing in Science and Engineering 2000 1st Edition Transactions of the High Performance Computing Center Stuttgart (HLRS) 2000

$29.99

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

ibuks

(eBook PDF) Propositional, Probabilistic and Evidential Reasoning: Integrating Numerical and Symbolic Approaches / Edition 1

$24.99

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

ibuks

(eBook PDF) Algorithmic and Computational Robotics 1st Edition New Directions 2000 WAFR

$30.00

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

ibuks

(eBook PDF) Graph Drawing 1st Edition 8th International Symposium, GD 2000, Colonial Williamsburg, VA, USA, September 20-23, 2000, Proceedings

$19.99