Vitalsource Technologies, Inc. Theorem Proving In Higher Order Logics

54.99 USD

Brand: Springer Berlin Heidelberg

Sponsored This site contains affiliate links for which we may receive compensation. More information

Sponsored Vitalsource Technologies, Inc. Theorem Proving In Higher Order Logics

54.99 USD 54.99 USD

13-11-2024 14:48:04

Access to the deal