Name: (eBook PDF) Automated Reasoning with Analytic Tableaux and Related Methods 1st Edition International Conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003. Proceedings
Brand: ibuks
Price: 19.99 USD
Availability: InStock

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/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

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

ibuks

(eBook PDF) Theorem Proving in Higher Order Logics 1st Edition 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings

$19.99

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

ibuks

(eBook PDF) Text, Speech and Dialogue: 6th International Conference, TSD 2003, Cesk� Budejovice, Czech Republic, September 8-12, 2003, Proceedings / Edition 1

$24.99

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

ibuks

(eBook PDF) Case-Based Reasoning Research and Development 1st Edition 5th International Conference on Case-Based Reasoning, ICCBR 2003, Trondheim, Norway, June 23-26, 2003, Proceedings

$29.99

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

ibuks

(eBook PDF) Computer Aided Verification 1st Edition 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings

$19.99

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

ibuks

(eBook PDF) Abstract State Machines 2003: Advances in Theory and Practice 1st Edition 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings

$19.99

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

ibuks

(eBook PDF) Technologies for E-Services: 4th International Workshop, TES 2003, Berlin, Germany, September 8, 2003, Proceedings

$19.99

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

ibuks

(eBook PDF) Advances in Artificial Life: 7th European Conference, ECAL 2003, Dortmund, Germany, September 14-17, 2003, Proceedings

$24.99

(eBook PDF) Automated Reasoning with Analytic Tableaux and Related Methods 1st Edition International Conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003. Proceedings

Write a Review

ibuks

(eBook PDF) Automated Reasoning with Analytic Tableaux and Related Methods 1st Edition International Conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003. Proceedings