Name: (eBook PDF) Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings
Brand: ibuks
Price: 14.99 USD
Availability: InStock

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

ibuks

(eBook PDF) Frontiers of Combining Systems 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013, Proceedings

$19.99

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

ibuks

(eBook PDF) Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings

$19.99

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

ibuks

(eBook PDF) Runtime Verification 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings

$19.99

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

ibuks

(eBook PDF) Principles and Practice of Constraint Programing-CP 2013 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013, Proceedings

$19.99

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

ibuks

(eBook PDF) Interactive Theorem Proving 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings

$19.99

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

ibuks

(eBook PDF) Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, Proceedings

$19.99

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

ibuks

(eBook PDF) Modeling and Using Context 8th International and Interdisciplinary Conference, CONTEXT 2013, Annecy, France, October 28 - 31, 2013, Proceedings

$19.99

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

Write a Review

ibuks

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