Passing Through Veils
John Harrison
₹2,365
Theorem Proving with the Real Numbers
Springer London Ltd · 2011 · Paperback
₹7,730
Free delivery. Nothing extra to pay at checkout.
- Delivery in 3–7 days to any serviceable pincode in India, with tracking.
- Cash on delivery. Pay when the parcel reaches you.
- 15-day returns. See what qualifies.
About this book
Theorem Proving with the Real Numbers is written by John Harrison. This paperback edition from Springer London Ltd (2011) has 186 pages.
The book deals with Automatic theorem proving.
Subjects
Book details
- ISBN-13
- 9781447115939
- ISBN-10
- 1447115937
- Author
- John Harrison
- Publisher
- Springer London Ltd
- Published
- 2011
- Edition
- Softcover reprint of the original 1st ed. 1998
- Binding
- Paperback
- Pages
- 186
- Language
- English
- Condition
- New
- Subject
- Computers & Internet
More by John Harrison and related titles
Residue
John Harrison
₹2,545
How to Store Your Home Grown Prod
John Harrison, Val Harrison
₹5,151
Cognitive Deficits in Brain Disorders
John Harrison, Adrian Owen
₹3,777
Residue
John Harrison
₹1,582
The Big R-Book
Philippe J. S. De Brouwer
₹6,666
PHP Reference
Mario Lurig
₹1,408
The Developer's Playbook for Large Language Model Security
Steve Wilson
₹4,124
The Nature of Physical Computation
Oron Shagrir
₹9,874
Microsoft Word 2013 for Dummies
Dan Gookin
₹3,038
Markov Processes and Quantum Theory
Masao Nagasawa
₹10,803
Display Interfaces
Robert L. Myers
₹16,517