Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.

Mechanical Theorem Proving in Geometries: Basic Principles by Wen-ts?n Wu (Engli

Name: Mechanical Theorem Proving in Geometries: Basic Principles by Wen-ts?n Wu (Engli
SKU: 146573528021
Price: 106.40 EUR
Availability: InStock
Rating: 0.0 (0 reviews)

Ø 0.0

0 Bewertungen

106,40 €

Author's note to the English-language edition. - 1.2 The axiom of infinity and Desargues' axioms. - 1.3 Rational points in a Desarguesian plane. - 1.4 The Desarguesian number system and rational number subsystem.

Jetzt bei Ebay:

Zum Angebot *

ISBN-13:

9783211825068
Book Title:

Mechanical Theorem Proving in Geometries
ISBN:

9783211825068

None:

International Standard : tracked-no signature (7 to 15 business days) 23,34 EUR - Lieferung zwischen 19. May 2025 und 28. May 2025 (bei heutigem Zahlungseingang)
Versand nach:

Weltweit
Versand ausgeschlossen:

Kambodscha , Bolivien , Ecuador , Französisch-Guayana , Guyana , Paraguay , Peru , Suriname , Venezuela , Algerien , ... und weitere

Mechanical Theorem Proving in Geometries: Basic Principles by Wen-ts?n Wu (Engli

Interactive Theorem Proving and Program - Hardcover, by Bertot Yves - Acceptable

Symbolic Logic and Mechanical Theorem Proving

Mathematical Methods for Physics: Using MATLAB and Maple by J.R. Claycomb (Engli

Symbolic Logic and Mechanical Theorem Proving

Symbolic Logic and Mechanical Theorem Proving by Chin-Liang Chang: New

Symbolic Logic and Mechanical Theorem Proving (Computer Science Classics) by Ch

Architecture and Health: Guiding Principles for Practice by Dina Battisto (Engli

Logic For Computer Science- Foundations of Automatic Theorem Proving J Gallier

Automated Theorem Proving : Theory and Practice Hardcover Monty N

Mathematics Mechanization: Mechanical Geometry Theorem-Proving, Mechanical Geome

Symbolic Logic and Mechanical Theorem Proving (Computer Science and Applied Mat

Ordinary Differential Equations and Mechanical Systems by Jan Awrejcewicz (Engli

Statistical Physics I: Equilibrium Statistical Mechanics by Morikazu Toda (Engli

Symbolic Logic and Mechanical Theorem Proving (Hardback or Cased Book)

Autodesk Revit 2023 Architecture Basics: From the Ground Up by Elise Moss (Engli

Principles of Plasma Physics for Engineers and Scientists by Umran S Inan (Engli

Storytelling and Imagination: Beyond Basic Literacy 8-14 by Rob Parkinson (Engli

Fuzzy Set Theory: Basic Concepts, Techniques and Bibliography by R. Lowen (Engli

An Introduction to Probability and Stochastic Processes by Marc A. Berger (Engli

Principles of Plasma Physics for Engineers and Scientists by Umran S Inan (Engli

Mechanical Theorem Proving in Geometries: Basic Principles by Wen-ts?n Wu (Engli

Ähnliche Artikel

Interactive Theorem Proving and Program - Hardcover, by Bertot Yves - Acceptable

Symbolic Logic and Mechanical Theorem Proving

Mathematical Methods for Physics: Using MATLAB and Maple by J.R. Claycomb (Engli

Symbolic Logic and Mechanical Theorem Proving

Symbolic Logic and Mechanical Theorem Proving by Chin-Liang Chang: New

Symbolic Logic and Mechanical Theorem Proving (Computer Science Classics) by Ch

Architecture and Health: Guiding Principles for Practice by Dina Battisto (Engli

Logic For Computer Science- Foundations of Automatic Theorem Proving J Gallier

Automated Theorem Proving : Theory and Practice Hardcover Monty N

Mathematics Mechanization: Mechanical Geometry Theorem-Proving, Mechanical Geome

Symbolic Logic and Mechanical Theorem Proving (Computer Science and Applied Mat

Ordinary Differential Equations and Mechanical Systems by Jan Awrejcewicz (Engli

Statistical Physics I: Equilibrium Statistical Mechanics by Morikazu Toda (Engli

Symbolic Logic and Mechanical Theorem Proving (Hardback or Cased Book)

Autodesk Revit 2023 Architecture Basics: From the Ground Up by Elise Moss (Engli

Principles of Plasma Physics for Engineers and Scientists by Umran S Inan (Engli

Storytelling and Imagination: Beyond Basic Literacy 8-14 by Rob Parkinson (Engli

Fuzzy Set Theory: Basic Concepts, Techniques and Bibliography by R. Lowen (Engli

An Introduction to Probability and Stochastic Processes by Marc A. Berger (Engli

Principles of Plasma Physics for Engineers and Scientists by Umran S Inan (Engli

Cookie Hinweis