formal proofs」商品搜尋結果共 8

  1. 在飛比找博客來優惠-Dense Sphere Packings: A Bluep

    Dense Sphere Packings: A Blueprint for Formal Proofs

  2. 在飛比找博客來優惠-Applied Logic for Computer Sci

    Applied Logic for Computer Scientists: Computational Deduction and Formal Proofs

  3. 在飛比找三民網路書店優惠-Applied Logic for Computer Sci

    Applied Logic for Computer Scientists ― Computational Deduction and Formal Proofs

  4. 在飛比找博客來優惠-Proofs 101: An Introduction to

    Proofs 101: An Introduction to Formal Mathematics

  5. 在飛比找博客來優惠-Computer Arithmetic and Formal

    Computer Arithmetic and Formal Proofs: Verifying Floating-Point Algorithms With the Coq System

  6. 在飛比找三民網路書店優惠-Computer Arithmetic and Formal

    Computer Arithmetic and Formal Proofs ― Verifying Floating-point Algorithms With the Coq System

  7. 在飛比找博客來優惠-Formal Proofs in Maths: Book 1

    Formal Proofs in Maths: Book 1 First Order Algebra

  8. 在飛比找博客來優惠-Proofs 101: An Introduction to

    Proofs 101: An Introduction to Formal Mathematics

補貨中的商品

進階搜尋

價格範圍

 ~ 
商店篩選
自訂

勾選你想要顯示的商店結果

清除
套用
熱門瀏覽商品

飛來一比 飛來一比