Machine Proofs In Geometry: Automated Production Of Readable Proofs For Geometry Theorems

Machine Proofs In Geometry: Automated Production Of Readable Proofs For Geometry Theorems

Machine Proofs In Geometry: Automated Production Of Readable Proofs For Geometry Theorems

Barcode: 09789814502603
Brand: World Scientific Publishing Company
There are no offers for this product at this time.

More From World Scientific Publishing Company

Enhanced Photodynamic Therapy (In 2 Volumes)
Enhanced Photodynamic Therapy (In 2 Volumes)
from £256.00
Non-uniform Riemann Approach To Stochastic Integration, The
Non-uniform Riemann Approach To Stochastic Integration, The
from £92.00
Future-ready Governance: Perspectives On Singapore And The World
Future-ready Governance: Perspectives On Singapore And The World
from £72.00
In The Name Of Progress: The Dark Side Of Medical Research
In The Name Of Progress: The Dark Side Of Medical Research
from £72.00
Enhancing East Asian Security Coordination
Enhancing East Asian Security Coordination
from £116.00
Comprehensive Guide Of Western And Chinese Herbs, And Related Tcm Formulae, A
Comprehensive Guide Of Western And Chinese Herbs, And Related Tcm Formulae, A
from £184.00
Lectures In Production And Supply
Lectures In Production And Supply
from £116.00
Kaizen: How To Successfully Transition Into A Lean Organization
Kaizen: How To Successfully Transition Into A Lean Organization
from £92.00
Life On Earth-like Planets: Gaia And Her Sisters
Life On Earth-like Planets: Gaia And Her Sisters
from £92.00
Developing A Body Of Knowledge For Green Construction Project Management
Developing A Body Of Knowledge For Green Construction Project Management
from £220.00
Reversible World Of Cellular Automata: Fantastic Phenomena And Computing In Artificial Reversible Universe
Reversible World Of Cellular Automata: Fantastic Phenomena And Computing In Artificial Reversible Universe
from £152.00
Achieving Global Food Security: The Caribbean Experience And Beyond
Achieving Global Food Security: The Caribbean Experience And Beyond
from £72.00
Construction Technology For Tall Buildings (6th Edition)
Construction Technology For Tall Buildings (6th Edition)
from £184.00
Energy Transition And Carbon Neutrality In Asean: Developing Carbon Capture, Utilization And Storage Technologies
Energy Transition And Carbon Neutrality In Asean: Developing Carbon Capture, Utilization And Storage Technologies
from £140.00
Laser Control Of Chemical Dynamics: With Emphasis On Nonadiabatic Transition
Laser Control Of Chemical Dynamics: With Emphasis On Nonadiabatic Transition
from £92.00
Laws: Rigidity And Dynamics
Laws: Rigidity And Dynamics
from £116.00
Advances In Very High Energy Astrophysics: The Science Program Of The Third Generation Iacts For Exploring Cosmic Gamma Rays
Advances In Very High Energy Astrophysics: The Science Program Of The Third Generation Iacts For Exploring Cosmic Gamma Rays
from £208.00
A Thinking Approach to Physiology
A Thinking Approach to Physiology
from £64.50
Trefethen's Index Cards Forty Years of Notes about People Words and
Trefethen's Index Cards Forty Years of Notes about People Words and
from £21.06
New Frontier In Evolutionary Algorithms: Theory And Applications
New Frontier In Evolutionary Algorithms: Theory And Applications
from £19.20

Price History

Excluding delivery costs, shows the lowest price over time.

Other Products You Might Like

Complex Proofs of Real Theorems
Complex Proofs of Real Theorems
from £27.90
Simple Theorems, Proofs, and Derivations in Quantum Chemistry
Simple Theorems, Proofs, and Derivations in Quantum Chemistry
from £152.58
Comparison Theorems in Riemannian Geometry
Comparison Theorems in Riemannian Geometry
from £29.74
Production Planning in Automated Manufacturing
Production Planning in Automated Manufacturing
from £61.20
Production Planning in Automated Manufacturing
Production Planning in Automated Manufacturing
from £38.24
Stability Theorems in Geometry and Analysis
Stability Theorems in Geometry and Analysis
from £110.08
Problems and Theorems in Analysis : Theory of Functions * Zeros * Polynomials Determinants * Number Theory * Geometry
Problems and Theorems in Analysis : Theory of Functions * Zeros * Polynomials Determinants * Number Theory * Geometry
from £55.24
Geometry for Computer Graphics : Formulae, Examples and Proofs
Geometry for Computer Graphics : Formulae, Examples and Proofs
from £38.24
Automated Machine Learning in Action
Automated Machine Learning in Action
from £34.25
Problems and Theorems in Analysis II : Theory of Functions. Zeros. Polynomials. Determinants. Number Theory. Geometry
Problems and Theorems in Analysis II : Theory of Functions. Zeros. Polynomials. Determinants. Number Theory. Geometry
from £42.49
Handbook of Coil Winding : Technologies for efficient electrical wound products and their automated production
Handbook of Coil Winding : Technologies for efficient electrical wound products and their automated production
from £84.58
Automated Machine Learning for Business
Automated Machine Learning for Business
from £28.89
Automated Machine Learning for Business
Automated Machine Learning for Business
from £28.89
Machine Intelligence : An International Bibliography with Abstracts of Sensors in Automated Manufacturing
Machine Intelligence : An International Bibliography with Abstracts of Sensors in Automated Manufacturing
from £76.08
Geometry with Applications and Proofs : Advanced Geometry for Senior High School,Student Text and Background Information
Geometry with Applications and Proofs : Advanced Geometry for Senior High School,Student Text and Background Information
from £27.19
Automated Design of Machine Learning and Search Algorithms
Automated Design of Machine Learning and Search Algorithms
from £108.79
Proofs of God in Early Modern Europe : An Anthology
Proofs of God in Early Modern Europe : An Anthology
from £49.49
Optimizing Hyperparameters for Machine Learning Algorithms in Production
Optimizing Hyperparameters for Machine Learning Algorithms in Production
from £33.99
Automated Reasoning : Essays in Honor of Woody Bledsoe
Automated Reasoning : Essays in Honor of Woody Bledsoe
from £76.08
Proofs for Islam: Prophecies of Prophet Muhammad ?
Proofs for Islam: Prophecies of Prophet Muhammad ?
from £7.99