Recomienda este artículo a tus amigos:
Mechanical Theorem Proving in Geometries: Basic Principles - Texts & Monographs in Symbolic Computation Wen-tsun Wu Softcover reprint of the original 1st ed. 1994 edition
Precio
$ 55,99
sin IVA
Pedido desde almacén remoto
Entrega prevista 19 de jun. - 2 de jul.
Nuestros clientes opinan:
Añadir a tu lista de deseos de iMusic
Mechanical Theorem Proving in Geometries: Basic Principles - Texts & Monographs in Symbolic Computation
Wen-tsun Wu
" Dur ing the time of the ancient Greeks, there were two different methods dealing with geometry: one, represented by the Euclid's "Elements," purely pursued the logical relations among geometric entities, excluding completely the quantita tive relations, as to establish the axiom system of geometry.
302 pages, biography
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 14 de abril de 1994 |
| ISBN13 | 9783211825068 |
| Editores | Springer Verlag GmbH |
| Páginas | 288 |
| Dimensiones | 170 × 244 × 17 mm · 494 g |
| Lengua | Inglés |
| Traductor | Jin, X. |
| Traductor | Wang, D. |
![Cover for Dietmar Thurnher · The Neck Dissection Manual: A Step-by-Step Surgical Atlas (Hardcover Book) [2022 edition] (2026)](https://imusic-static.b-cdn.net/images/missing-tall.png)
![Cover for Edwin Pfanzagl-Cardone · The Art and Science of Surround and Stereo Recording: Including 3D Audio Techniques (Hardcover Book) [1st ed. 2020 edition] (2021)](https://imusic.b-cdn.net/images/item/original/891/9783709148891.jpg?edwin-pfanzagl-cardone-2021-the-art-and-science-of-surround-and-stereo-recording-including-3d-audio-techniques-hardcover-book&class=scaled&v=1605899035)
![Cover for Advances and Technical Standards in Neurosurgery, Vol. 33 - Advances and Technical Standards in Neurosurgery (Paperback Book) [Softcover reprint of the original 1st ed. 2008 edition] (2019)](https://imusic.b-cdn.net/images/item/original/761/9783709148761.jpg?2019-advances-and-technical-standards-in-neurosurgery-vol-33-advances-and-technical-standards-in-neurosurgery-paperback-book&class=scaled&v=1614257341)
![Cover for Environmental Influences on the Immune System (Paperback Book) [Softcover reprint of the original 1st ed. 2016 edition] (2019)](https://imusic.b-cdn.net/images/item/original/839/9783709148839.jpg?2019-environmental-influences-on-the-immune-system-paperback-book&class=scaled&v=1614353802)
![Cover for Jens Kuhn · Filoviruses: A Compendium of 40 Years of Epidemiological, Clinical, and Laboratory Studies - Archives of Virology. Supplementa (Paperback Book) [Softcover reprint of the original 1st ed. 2008 edition] (2019)](https://imusic.b-cdn.net/images/item/original/754/9783709148754.jpg?jens-kuhn-2019-filoviruses-a-compendium-of-40-years-of-epidemiological-clinical-and-laboratory-studies-archives-of-virology-supplementa-paperback-book&class=scaled&v=1614702708)
![Cover for Numerical Simulation of Power Plants and Firing Systems (Paperback Book) [Softcover reprint of the original 1st ed. 2017 edition] (2018)](https://imusic.b-cdn.net/images/item/original/860/9783709148860.jpg?2018-numerical-simulation-of-power-plants-and-firing-systems-paperback-book&class=scaled&v=1603795913)
![Cover for Health Issues in Women with Multiple Sclerosis (Paperback Book) [Softcover reprint of the original 1st ed. 2017 edition] (2018)](https://imusic.b-cdn.net/images/item/original/877/9783709148877.jpg?2018-health-issues-in-women-with-multiple-sclerosis-paperback-book&class=scaled&v=1609479535)
![Cover for Yearbook on Space Policy 2015: Access to Space and the Evolution of Space Activities - Yearbook on Space Policy (Paperback Book) [Softcover reprint of the original 1st ed. 2017 edition] (2018)](https://imusic.b-cdn.net/images/item/original/884/9783709148884.jpg?2018-yearbook-on-space-policy-2015-access-to-space-and-the-evolution-of-space-activities-yearbook-on-space-policy-paperback-book&class=scaled&v=1603906534)
![Cover for Molecular Parasitology: Protozoan Parasites and their Molecules (Paperback Book) [Softcover reprint of the original 1st ed. 2016 edition] (2018)](https://imusic.b-cdn.net/images/item/original/792/9783709148792.jpg?2018-molecular-parasitology-protozoan-parasites-and-their-molecules-paperback-book&class=scaled&v=1611375823)
![Cover for Pavel G. Baranov · Magnetic Resonance of Semiconductors and Their Nanostructures: Basic and Advanced Applications - Springer Series in Materials Science (Paperback Book) [Softcover reprint of the original 1st ed. 2017 edition] (2018)](https://imusic.b-cdn.net/images/item/original/785/9783709148785.jpg?pavel-g-baranov-2018-magnetic-resonance-of-semiconductors-and-their-nanostructures-basic-and-advanced-applications-springer-series-in-materials-science-paperback-book&class=scaled&v=1613627477)
![Cover for Thomas C. G. Bosch · The Holobiont Imperative: Perspectives from Early Emerging Animals (Paperback Book) [Softcover reprint of the original 1st ed. 2016 edition] (2018)](https://imusic.b-cdn.net/images/item/original/846/9783709148846.jpg?thomas-c-g-bosch-2018-the-holobiont-imperative-perspectives-from-early-emerging-animals-paperback-book&class=scaled&v=1596925255)
![Cover for Katharina A. Zweig · Network Analysis Literacy (Book) [Softcover reprint of the original 1st ed. 2016 edition] (2018)](https://imusic.b-cdn.net/images/item/original/778/9783709148778.jpg?katharina-a-zweig-2018-network-analysis-literacy-book&class=scaled&v=1603956430)
![Cover for Congenital Heart Diseases: The Broken Heart: Clinical Features, Human Genetics and Molecular Pathways (Paperback Book) [Softcover reprint of the original 1st ed. 2016 edition] (2018)](https://imusic.b-cdn.net/images/item/original/822/9783709148822.jpg?2018-congenital-heart-diseases-the-broken-heart-clinical-features-human-genetics-and-molecular-pathways-paperback-book&class=scaled&v=1608445316)
![Cover for Yearbook on Space Policy 2014: The Governance of Space - Yearbook on Space Policy (Paperback Book) [Softcover reprint of the original 1st ed. 2016 edition] (2018)](https://imusic.b-cdn.net/images/item/original/853/9783709148853.jpg?2018-yearbook-on-space-policy-2014-the-governance-of-space-yearbook-on-space-policy-paperback-book&class=scaled&v=1605102269)
![Cover for Wolfgang Seeger · Microanatomical Aspects for Neurosurgeons and Neuroradiologists (Paperback Book) [Softcover reprint of the original 1st ed. 2000 edition] (2018)](https://imusic.b-cdn.net/images/item/original/360/9783709172360.jpg?wolfgang-seeger-2018-microanatomical-aspects-for-neurosurgeons-and-neuroradiologists-paperback-book&class=scaled&v=1469628938)
![Cover for W. Seeger · Microsurgery of the Cranial Base (Paperback Book) [1st ed. 1983 edition] (2017)](https://imusic.b-cdn.net/images/item/original/902/9783709130902.jpg?w-seeger-2017-microsurgery-of-the-cranial-base-paperback-book&class=scaled&v=1502782533)
![Cover for Weber · Virtual Anthropology (Book) [Softcover reprint of the original 1st ed. 2011 edition] (2017)](https://imusic.b-cdn.net/images/item/original/082/9783709119082.jpg?weber-2017-virtual-anthropology-book&class=scaled&v=1611685809)
![Cover for Sindou · Neurosurgery for Spasticity (Book) [Softcover reprint of the original 1st ed. 2014 edition] (2017)](https://imusic.b-cdn.net/images/item/original/587/9783709119587.jpg?sindou-2017-neurosurgery-for-spasticity-book&class=scaled&v=1603994598)
![Cover for Simulation of Semiconductor Processes and Devices 2007 (Book) [Softcover reprint of the original 1st ed. 2007 edition] (2017)](https://imusic.b-cdn.net/images/item/original/112/9783709119112.jpg?2017-simulation-of-semiconductor-processes-and-devices-2007-book&class=scaled&v=1608553422)
![Cover for Numerical Simulation of Power Plants and Firing Systems (Hardcover Book) [1st ed. 2017 edition] (2017)](https://imusic.b-cdn.net/images/item/original/532/9783709148532.jpg?2017-numerical-simulation-of-power-plants-and-firing-systems-hardcover-book&class=scaled&v=1490369110)
![Cover for Pavel Baranov Baranov · Magnetic Resonance of Semiconductors and Semiconductor Nanostructures (Hardcover Book) [1st Ed. 2015 edition] (2017)](https://imusic.b-cdn.net/images/item/original/567/9783709111567.jpg?pavel-baranov-baranov-2017-magnetic-resonance-of-semiconductors-and-semiconductor-nanostructures-hardcover-book&class=scaled&v=1599151657)
![Cover for Health Issues in Women with Multiple Sclerosis (Hardcover Book) [1st ed. 2017 edition] (2017)](https://imusic.b-cdn.net/images/item/original/563/9783709148563.jpg?2017-health-issues-in-women-with-multiple-sclerosis-hardcover-book&class=scaled&v=1487709838)
![Cover for K. Ray Chaudhuri · Movement Disorders Curricula (Hardcover Book) [1st ed. 2017 edition] (2017)](https://imusic.b-cdn.net/images/item/original/272/9783709116272.jpg?k-ray-chaudhuri-2017-movement-disorders-curricula-hardcover-book&class=scaled&v=1483346353)
![Cover for Yearbook on Space Policy 2015: Access to Space and the Evolution of Space Activities - Yearbook on Space Policy (Hardcover Book) [1st ed. 2017 edition] (2017)](https://imusic.b-cdn.net/images/item/original/594/9783709148594.jpg?2017-yearbook-on-space-policy-2015-access-to-space-and-the-evolution-of-space-activities-yearbook-on-space-policy-hardcover-book&class=scaled&v=1531158804)
![Cover for Karl Menger · Selecta Mathematica II - Springer Collected Works in Mathematics (Paperback Book) [1st ed. 2003 edition] (2016)](https://imusic.b-cdn.net/images/item/original/631/9783709148631.jpg?karl-menger-2016-selecta-mathematica-ii-springer-collected-works-in-mathematics-paperback-book&class=scaled&v=1583889678)
![Cover for Hans Hahn · Gesammelte Abhandlungen I - Collected Works I - Springer Collected Works in Mathematics (Paperback Book) [1. Aufl. 1995 edition] (2016)](https://imusic.b-cdn.net/images/item/original/648/9783709148648.jpg?hans-hahn-2016-gesammelte-abhandlungen-i-collected-works-i-springer-collected-works-in-mathematics-paperback-book&class=scaled&v=1605606917)
![Cover for Hans Hahn · Gesammelte Abhandlungen II - Collected Works II - Springer Collected Works in Mathematics (Paperback Book) [1. Aufl. 1996 edition] (2016)](https://imusic.b-cdn.net/images/item/original/655/9783709148655.jpg?hans-hahn-2016-gesammelte-abhandlungen-ii-collected-works-ii-springer-collected-works-in-mathematics-paperback-book&class=scaled&v=1605564219)
![Cover for Hans Hahn · Gesammelte Abhandlungen III - Collected Works III - Springer Collected Works in Mathematics (Paperback Book) [1. Aufl. 1997 edition] (2016)](https://imusic.b-cdn.net/images/item/original/662/9783709148662.jpg?hans-hahn-2016-gesammelte-abhandlungen-iii-collected-works-iii-springer-collected-works-in-mathematics-paperback-book&class=scaled&v=1605563684)
![Cover for Karl Menger · Selecta Mathematica I - Springer Collected Works in Mathematics (Paperback Book) [1st ed. 2002 edition] (2016)](https://imusic.b-cdn.net/images/item/original/624/9783709148624.jpg?karl-menger-2016-selecta-mathematica-i-springer-collected-works-in-mathematics-paperback-book&class=scaled&v=1513193665)
![Cover for Molecular Parasitology: Protozoan Parasites and their Molecules (Hardcover Book) [1st ed. 2016 edition] (2016)](https://imusic.b-cdn.net/images/item/original/155/9783709114155.jpg?2016-molecular-parasitology-protozoan-parasites-and-their-molecules-hardcover-book&class=scaled&v=1608387270)
![Cover for Margit Pavelka · Functional Ultrastructure: Atlas of Tissue Biology and Pathology (Paperback Book) [Softcover reprint of the original 3rd ed. 2015 edition] (2016)](https://imusic.b-cdn.net/images/item/original/002/9783709120002.jpg?margit-pavelka-2016-functional-ultrastructure-atlas-of-tissue-biology-and-pathology-paperback-book&class=scaled&v=1521037563)
![Cover for Antonio Baici · Kinetics of Enzyme-Modifier Interactions: Selected Topics in the Theory and Diagnosis of Inhibition and Activation Mechanisms (Paperback Book) [Softcover reprint of the original 1st ed. 2015 edition] (2016)](https://imusic.b-cdn.net/images/item/original/495/9783709119495.jpg?antonio-baici-2016-kinetics-of-enzyme-modifier-interactions-selected-topics-in-the-theory-and-diagnosis-of-inhibition-and-activation-mechanisms-paperback-book&class=scaled&v=1610784787)