Edit search
Theorem Proving in Higher Order Logics, vol. 5170
Theorem Proving in Higher Order Logics, vol. 5170
Certified exact transcendental real number computation in Co…
Certified exact transcendental real number computation in Coq
Certified exact transcendental real number computation in Coq
eBook
Certified exact transcendental real number computation in Coq
Authors: Russell
Page: 246-261
Published: 2008
ISBN: 9783540710677
  Full text availability for this item
  Request a copy of this item
Cite this item