Theorem Proving with the Real Numbers
Theorem Proving with the Real Numbers
$128.99Paperback
In stock, ships in 1-2 business days
Free standard shipping on orders over $40. ISBN 9781447115939
1
Details
- Format
- Paperback
- ISBN-13
- 9781447115939
- Publisher
- Springer
- Published
- November 20, 2011
- Pages
- 186
- Weight
- 10.1 oz
- Subject
- Computers
More by John Harrison
All books
Pen and Wash: An Artist's Guide to Combining Ink and Watercolour
John Harrison
$20.99
Dig for Victory; Monthly Growing Guides and Commentary
John Harrison
$15.99
World Cup, Inc.: Access, Power, and the Economics of Football's Biggest Event
World Cup, Inc.: Access, Power, and the Economics of Football's Biggest Event
John Harrison
$15.99
Lanterns in the Snow
Lanterns in the Snow
John Harrison
$15.99
Powers That Be: RPG Player's Guide
Powers That Be: RPG Player's Guide
John Harrison
$32.99
What Smart Businesses Do: A Recession Marketing Playbook
What Smart Businesses Do: A Recession Marketing Playbook
John Harrison
$10.99
Deep Strike: Bunker-Busting Bombs from World War II to the Modern Era
Deep Strike: Bunker-Busting Bombs from World War II to the Modern Era
John Harrison
$12.99
The History of the Monastery of the Holy-rood and of the Palace of Holyrood House
The History of the Monastery of the Holy-rood and of the Palace of Holyrood House
John Harrison
$25.99
Creatures of the Screen - The Uncensored (and Unofficial) History of Kissploitation on Film, Television & Home Video
Creatures of the Screen - The Uncensored (and Unofficial) History of Kissploitation on Film, Television & Home Video
John Harrison
$35.99
Remarks on a Pamphlet Lately Published by the Rev. Mr. Maskelyne, Under the Authority of the Board of Longitude
Remarks on a Pamphlet Lately Published by the Rev. Mr. Maskelyne, Under the Authority of the Board of Longitude
John Harrison
$15.99
Residue: Paramentals Rising
Residue: Paramentals Rising
John Harrison
$14.99
Occupational Health and Wellbeing for British Policing: A Primer
Occupational Health and Wellbeing for British Policing: A Primer
John Harrison
$87.99
Popular in Computers
Browse Computers
The Agi Chronicles: The Inside Story of the Race to Create an Artificial Superintelligence
Kevin Roose
$25.99
AI Engineering: Building Applications with Foundation Models
Chip Huyen
$65.99
If Anyone Builds It, Everyone Dies: Why Superhuman AI Would Kill Us All
Eliezer Yudkowsky
$23.99
Designing Data-Intensive Applications: The Big Ideas Behind Reliable, Scalable, and Maintainable Systems
Martin Kleppmann
$58.99
Build a Large Language Model (from Scratch)
Sebastian Raschka
$65.99
Superintelligence: Paths, Dangers, Strategies
Nick Bostrom
$16.99
Python Crash Course, 3rd Edition: A Hands-On, Project-Based Introduction to Programming
Eric Matthes
$38.99
Build a Reasoning Model (from Scratch)
Sebastian Raschka
$65.99
The Book of Why: The New Science of Cause and Effect
Judea Pearl
$18.99
The AI Con: How to Fight Big Tech's Hype and Create the Future We Want
Emily M. Bender
$25.99
The Linux Command Line, 3rd Edition: A Complete Introduction
William Shotts
$38.99
The God Test: Artificial Intelligence and Our Coming Cosmic Reckoning
Robert Wright
$23.99