Theorem Proving in Higher Order Logics, vol. 5170
Certified exact transcendental real number computation in Co…
Certified exact transcendental real number computation in Coq
eBook
Full text availability for this item
Collection:
Springer Complete eBooks
Coverage:
- 2008