Theorem Proving with the Real Numbers

Theorem Proving with the Real Numbers

Theorem Proving with the Real Numbers

Barcode: 09781447115915
Brand: Springer London
There are no offers for this product at this time.

More From Springer London

Introduction to Modeling for Biosciences
Introduction to Modeling for Biosciences
from £50.99
Geometric Tolerances : Impact on Product Design, Quality Inspection and Statistical Process Monitoring
Geometric Tolerances : Impact on Product Design, Quality Inspection and Statistical Process Monitoring
from £169.58
Beyond World-Class Productivity : Industrial Engineering Practice and Theory
Beyond World-Class Productivity : Industrial Engineering Practice and Theory
from £76.08
Enterprise Interoperability IV : Making the Internet of the Future for the Future of Enterprise
Enterprise Interoperability IV : Making the Internet of the Future for the Future of Enterprise
from £110.08
Wetland Systems : Storm Water Management Control
Wetland Systems : Storm Water Management Control
from £110.08
Tabletops - Horizontal Interactive Displays
Tabletops - Horizontal Interactive Displays
from £110.08
Comparative Gene Finding : Models, Algorithms and Implementation
Comparative Gene Finding : Models, Algorithms and Implementation
from £93.08
Aesthetic Applications of Intense Pulsed Light
Aesthetic Applications of Intense Pulsed Light
from £76.08
Clinical Cardiogenetics
Clinical Cardiogenetics
from £141.53
Active Braking Control Systems Design for Vehicles
Active Braking Control Systems Design for Vehicles
from £76.08
Social Media on the Road : The Future of Car Based Computing
Social Media on the Road : The Future of Car Based Computing
from £76.08
Finite Element Model Updating Using Computational Intelligence Techniques : Applications to Structural Dynamics
Finite Element Model Updating Using Computational Intelligence Techniques : Applications to Structural Dynamics
from £110.08
Micromechanisms of Fracture and Fatigue : In a Multi-scale Context
Micromechanisms of Fracture and Fatigue : In a Multi-scale Context
from £152.58
Manual of Thoracic Endoaortic Surgery
Manual of Thoracic Endoaortic Surgery
from £38.24
Breast Cancer : A Lobar Disease
Breast Cancer : A Lobar Disease
from £76.08
Nursing Informatics : Where Technology and Caring Meet
Nursing Informatics : Where Technology and Caring Meet
from £67.58
Visual Servoing via Advanced Numerical Methods
Visual Servoing via Advanced Numerical Methods
from £76.08
Dry Clutch Control for Automotive Applications
Dry Clutch Control for Automotive Applications
from £76.08
Vascular CT Angiography Manual
Vascular CT Angiography Manual
from £38.24
Advanced Control and Supervision of Mineral Processing Plants
Advanced Control and Supervision of Mineral Processing Plants
from £93.08

Price History

Excluding delivery costs, shows the lowest price over time.

Other Products You Might Like

Automated Theorem Proving
Automated Theorem Proving
from £76.08
Automated Theorem Proving : After 25 Years
Automated Theorem Proving : After 25 Years
from £47.70
Symbolic Logic and Mechanical Theorem Proving
Symbolic Logic and Mechanical Theorem Proving
from £41.79
Automated Theorem Proving: A Logical Basis
Automated Theorem Proving: A Logical Basis
from £41.79
Automated Theorem Proving in Software Engineering
Automated Theorem Proving in Software Engineering
from £38.24
Automated Theorem Proving : Theory and Practice
Automated Theorem Proving : Theory and Practice
from £93.08
First-Order Logic and Automated Theorem Proving
First-Order Logic and Automated Theorem Proving
from £61.20
First-Order Logic and Automated Theorem Proving
First-Order Logic and Automated Theorem Proving
from £63.33
Mechanical Theorem Proving in Geometries : Basic Principles
Mechanical Theorem Proving in Geometries : Basic Principles
from £38.24
The Efficiency of Theorem Proving Strategies : A Comparative and Asymptotic Analysis
The Efficiency of Theorem Proving Strategies : A Comparative and Asymptotic Analysis
from £38.24
Formalized Probability Theory and Applications Using Theorem Proving
Formalized Probability Theory and Applications Using Theorem Proving
from £165.75
Interactive Theorem Proving and Program Development : Coq'Art: The Calculus of Inductive Constructions
Interactive Theorem Proving and Program Development : Coq'Art: The Calculus of Inductive Constructions
from £59.49
Current Trends in Hardware Verification and Automated Theorem Proving
Current Trends in Hardware Verification and Automated Theorem Proving
from £76.08
Higher Order Logic Theorem Proving and its Applications : Proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and its Applications - HOL '92 Leuven, Belgiu
Higher Order Logic Theorem Proving and its Applications : Proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and its Applications - HOL '92 Leuven, Belgiu
from £114.00
The Real Numbers and Real Analysis
The Real Numbers and Real Analysis
from £42.49
A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton's Principia
A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton's Principia
from £76.08
Logic for Computer Science : Foundations of Automatic Theorem Proving, Second Edition
Logic for Computer Science : Foundations of Automatic Theorem Proving, Second Edition
from £26.36
The Last Theorem
The Last Theorem
from £4.99
The Spectral Theorem
The Spectral Theorem
from £19.54
Interactive Theorem Proving : Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings
Interactive Theorem Proving : Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings
from £38.24