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

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

ibuks

$19.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) Theorem Proving in Higher Order Logics 1st Edition 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings

Related Products

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

ibuks

(eBook PDF) Theorem Proving in Higher Order Logics 1st Edition 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings

$19.99

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

ibuks

(eBook PDF) Higher Order Logic Theorem Proving and its Applications Proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and its Applications - HOL '92 Leuven, Belgium, 21-24 September 1992

$30.00

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

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

ibuks

(eBook PDF) Multiagent System Technologies: First German Conference, MATES 2003, Erfurt, Germany, September 22-25, 2003, Proceedings

$19.99