Interactive Theorem Proving: 8th International Conference, ITP 2017, Bras?lia, B
USD 82.20 USD
Whitebox Automation. - Automating Formalization by Statistical and Semantic Parsing of Mathematics. - Formalization of the Lindemann-Weierstrass Theorem. - Formal Verification of a Floating-Point Expansion Renormalization Algorithm.
Specifications
| ISBN-13 | 9783319661063 |
| ISBN | 9783319661063 |
You will appreciate how the bamboo cover resists fingerprints, keeping it clean-looking.
