Theorem Proving with the Real Numbers

Theorem Proving with the Real Numbers

Author: John Harrison PhD, MA (auth.)
Publisher: Springer-Verlag London
Language: English
Edition: 1
Year: 1998
Page: 186
ISBN: 978-1-4471-1593-9,978-1-4471-1591-5
File Type: pdf
File Size: 13.8 MiB

How to Download?!!!

Just click on START button on Telegram Bot

Free Download Book