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

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

Related Products

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

ibuks

(eBook PDF) Computer Aided Verification 1st Edition 12th International Conference, CAV 2000 Chicago, IL, USA, July 15-19, 2000 Proceedings

$29.99

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

ibuks

(eBook PDF) ZB 2000: Formal Specification and Development in Z and B 1st Edition First International Conference of B and Z Users York, UK, August 29 - September 2, 2000 Proceedings

$19.99

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

ibuks

(eBook PDF) Algebraic Methodology and Software Technology 1st Edition 8th International Conference, AMAST 2000 Iowa City, Iowa, USA, May 20-27, 2000 Proceedings

$29.99

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

ibuks

(eBook PDF) Interactive Theorem Proving 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings

$19.99

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

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

ibuks

(eBook PDF) Natural Language Processing - NLP 2000 1st Edition Second International Conference Patras, Greece, June 2-4, 2000 Proceedings

$19.99

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

ibuks

(eBook PDF) Compiler Construction 1st Edition 9th International Conference, CC 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings

$19.99