Name: (eBook PDF) Automated Reasoning with Analytic Tableaux and Related Methods 26th International Conference, TABLEAUX 2017, Bras lia, Brazil, September 25 28, 2017, Proceedings
Brand: ibuks
Price: 24.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/gexdinzqgxBtcmjsgqCdknjygexdambqgaxdiobxhaCtqmztgmxtamrvgmBtinzw.jpeg — Add to Cart The item has been added

ibuks

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

$19.99

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

ibuks

(eBook PDF) Relational and Algebraic Methods in Computer Science 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings

$19.99

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

ibuks

(eBook PDF) Human-Computer Interaction INTERACT 2017 16th IFIP TC 13 International Conference, Mumbai, India, September 25-29, 2017, Proceedings, Part IV

$19.99

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

ibuks

(eBook PDF) KI 2017: Advances in Artificial Intelligence 40th Annual German Conference on AI, Dortmund, Germany, September 25 29, 2017, Proceedings

$19.99

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

ibuks

(eBook PDF) Logic Programming and Nonmonotonic Reasoning 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings

$19.99

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

ibuks

(eBook PDF) Business Process Management 15th International Conference, BPM 2017, Barcelona, Spain, September 10 15, 2017, Proceedings

$19.99

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

ibuks

(eBook PDF) Metadata and Semantic Research 11th International Conference, MTSR 2017, Tallinn, Estonia, November 28 December 1, 2017, Proceedings

$19.99

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

ibuks

(eBook PDF) Decision and Game Theory for Security 8th International Conference, GameSec 2017, Vienna, Austria, October 23-25, 2017, Proceedings

$19.99

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

Write a Review

ibuks

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