Pastāsti draugiem par šo preci:
Mechanical Theorem Proving in Geometries: Basic Principles - Texts & Monographs in Symbolic Computation Wen-tsun Wu Softcover reprint of the original 1st ed. 1994 edition
Cena
€ 64,49
Pasūtīts no attālās noliktavas
Paredzamā piegāde . gada 12. - 26. aug.
Saņemiet paziņojumus par jauniem Wen-tsun Wu izdevumiem
Mūsu klienti saka:
Pievienot savam iMusic vēlmju sarakstam
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
| Mediji | Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru) |
| Izlaists | 1994. gada 14. aprīlis |
| ISBN13 | 9783211825068 |
| Izdevēji | Springer Verlag GmbH |
| Lapas | 288 |
| Izmēri | 170 × 244 × 17 mm · 494 g |
| Valoda | Angļu |
| Tulks | Jin, X. |
| Tulks | Wang, D. |
![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 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 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 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 Margit Pavelka · Functional Ultrastructure: Atlas of Tissue Biology and Pathology (Paperback Book) [Third Edition 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 Kevin Hoag · Vehicular Engine Design - Powertrain (Paperback Book) [Second Edition 2016 edition] (2016)](https://imusic.b-cdn.net/images/item/original/068/9783709119068.jpg?kevin-hoag-2016-vehicular-engine-design-powertrain-paperback-book&class=scaled&v=1501422329)
![Cover for Dietary Chinese Herbs: Chemistry, Pharmacology and Clinical Evidence (Paperback Book) [Softcover reprint of the original 1st ed. 2015 edition] (2016)](https://imusic.b-cdn.net/images/item/original/198/9783709119198.jpg?2016-dietary-chinese-herbs-chemistry-pharmacology-and-clinical-evidence-paperback-book&class=scaled&v=1488535699)
![Cover for Neglected Tropical Diseases - Latin America and the Caribbean - Neglected Tropical Diseases (Paperback Book) [Softcover reprint of the original 1st ed. 2015 edition] (2016)](https://imusic.b-cdn.net/images/item/original/402/9783709148402.jpg?2016-neglected-tropical-diseases-latin-america-and-the-caribbean-neglected-tropical-diseases-paperback-book&class=scaled&v=1554690006)
![Cover for Liver and Biliary Tract Surgery: Embryological Anatomy to 3D-Imaging and Transplant Innovations (Paperback Book) [Softcover reprint of the original 1st ed. 2006 edition] (2016)](https://imusic.b-cdn.net/images/item/original/099/9783709119099.jpg?2016-liver-and-biliary-tract-surgery-embryological-anatomy-to-3d-imaging-and-transplant-innovations-paperback-book&class=scaled&v=1608636532)
![Cover for Yearbook on Space Policy 2012/2013: Space in a Changing World - Yearbook on Space Policy (Paperback Book) [Softcover reprint of the original 1st ed. 2015 edition] (2016)](https://imusic.b-cdn.net/images/item/original/938/9783709119938.jpg?2016-yearbook-on-space-policy-2012-2013-space-in-a-changing-world-yearbook-on-space-policy-paperback-book&class=scaled&v=1608678568)
![Cover for Geza Zboray · Atlas of Comparative Sectional Anatomy of 6 invertebrates and 5 vertebrates (Paperback Book) [Softcover reprint of the original 1st ed. 2010 edition] (2016)](https://imusic.b-cdn.net/images/item/original/057/9783709120057.jpg?geza-zboray-2016-atlas-of-comparative-sectional-anatomy-of-6-invertebrates-and-5-vertebrates-paperback-book&class=scaled&v=1488190616)
![Cover for Sound Communication in Fishes - Animal Signals and Communication (Paperback Book) [Softcover reprint of the original 1st ed. 2015 edition] (2016)](https://imusic.b-cdn.net/images/item/original/785/9783709119785.jpg?2016-sound-communication-in-fishes-animal-signals-and-communication-paperback-book&class=scaled&v=1479383434)
![Cover for Tumor Cell Metabolism: Pathways, Regulation and Biology (Paperback Book) [Softcover reprint of the original 1st ed. 2015 edition] (2016)](https://imusic.b-cdn.net/images/item/original/891/9783709119891.jpg?2016-tumor-cell-metabolism-pathways-regulation-and-biology-paperback-book&class=scaled&v=1479383434)
![Cover for Christoph Fehling · Cloud Computing Patterns: Fundamentals to Design, Build, and Manage Cloud Applications (Paperback Book) [Softcover reprint of the original 1st ed. 2014 edition] (2016)](https://imusic.b-cdn.net/images/item/original/532/9783709119532.jpg?christoph-fehling-2016-cloud-computing-patterns-fundamentals-to-design-build-and-manage-cloud-applications-paperback-book&class=scaled&v=1604013872)
![Cover for Food Quality, Safety and Technology (Paperback Book) [Softcover reprint of the original 1st ed. 2014 edition] (2016)](https://imusic.b-cdn.net/images/item/original/846/9783709119846.jpg?2016-food-quality-safety-and-technology-paperback-book&class=scaled&v=1583380357)
![Cover for Josef Zihl · Cerebral Visual Impairment in Children: Visuoperceptive and Visuocognitive Disorders (Paperback Book) [Softcover reprint of the original 1st ed. 2015 edition] (2016)](https://imusic.b-cdn.net/images/item/original/242/9783709119242.jpg?josef-zihl-2016-cerebral-visual-impairment-in-children-visuoperceptive-and-visuocognitive-disorders-paperback-book&class=scaled&v=1593673571)
![Cover for Novel Technologies for Vaccine Development (Paperback Book) [Softcover reprint of the original 1st ed. 2014 edition] (2016)](https://imusic.b-cdn.net/images/item/original/808/9783709119808.jpg?2016-novel-technologies-for-vaccine-development-paperback-book&class=scaled&v=1608704414)
![Cover for Active and Passive Vibration Control of Structures - CISM International Centre for Mechanical Sciences (Paperback Book) [Softcover reprint of the original 1st ed. 2014 edition] (2016)](https://imusic.b-cdn.net/images/item/original/945/9783709119945.jpg?2016-active-and-passive-vibration-control-of-structures-cism-international-centre-for-mechanical-sciences-paperback-book&class=scaled&v=1608808035)
![Cover for Yury Vetyukov · Nonlinear Mechanics of Thin-Walled Structures: Asymptotics, Direct Approach and Numerical Analysis - Foundations of Engineering Mechanics (Paperback Book) [Softcover reprint of the original 1st ed. 2014 edition] (2016)](https://imusic.b-cdn.net/images/item/original/761/9783709119761.jpg?yury-vetyukov-2016-nonlinear-mechanics-of-thin-walled-structures-asymptotics-direct-approach-and-numerical-analysis-foundations-of-engineering-mechanics-paperback-book&class=scaled&v=1505670764)
![Cover for Yearbook on Space Policy 2011/2012: Space in Times of Financial Crisis - Yearbook on Space Policy (Paperback Book) [Softcover reprint of the original 1st ed. 2014 edition] (2016)](https://imusic.b-cdn.net/images/item/original/914/9783709119914.jpg?2016-yearbook-on-space-policy-2011-2012-space-in-times-of-financial-crisis-yearbook-on-space-policy-paperback-book&class=scaled&v=1484420041)
![Cover for Parasites and their vectors: A special focus on Southeast Asia (Paperback Book) [Softcover reprint of the original 1st ed. 2014 edition] (2016)](https://imusic.b-cdn.net/images/item/original/655/9783709119655.jpg?2016-parasites-and-their-vectors-a-special-focus-on-southeast-asia-paperback-book&class=scaled&v=1484338876)
![Cover for Online Collective Action: Dynamics of the Crowd in Social Media - Lecture Notes in Social Networks (Paperback Book) [Softcover reprint of the original 1st ed. 2014 edition] (2016)](https://imusic.b-cdn.net/images/item/original/488/9783709119488.jpg?2016-online-collective-action-dynamics-of-the-crowd-in-social-media-lecture-notes-in-social-networks-paperback-book&class=scaled&v=1608710056)
![Cover for Hydrogen Sulfide and its Therapeutic Applications (Paperback Book) [Softcover reprint of the original 1st ed. 2013 edition] (2016)](https://imusic.b-cdn.net/images/item/original/747/9783709119747.jpg?2016-hydrogen-sulfide-and-its-therapeutic-applications-paperback-book&class=scaled&v=1608823011)
![Cover for Trypanosomes and Trypanosomiasis (Paperback Book) [Softcover reprint of the original 1st ed. 2014 edition] (2016)](https://imusic.b-cdn.net/images/item/original/433/9783709148433.jpg?2016-trypanosomes-and-trypanosomiasis-paperback-book&class=scaled&v=1494965464)
![Cover for Regulatory RNAs in Prokaryotes (Paperback Book) [Softcover reprint of the original 1st ed. 2012 edition] (2016)](https://imusic.b-cdn.net/images/item/original/259/9783709119259.jpg?2016-regulatory-rnas-in-prokaryotes-paperback-book&class=scaled&v=1611696550)
![Cover for The Fair and Responsible Use of Space: An International Perspective - Studies in Space Policy (Paperback Book) [Softcover reprint of the original 1st ed. 2010 edition] (2016)](https://imusic.b-cdn.net/images/item/original/266/9783709119266.jpg?2016-the-fair-and-responsible-use-of-space-an-international-perspective-studies-in-space-policy-paperback-book&class=scaled&v=1607462544)
![Cover for Comparative Medicine: Anatomy and Physiology (Paperback Book) [Softcover reprint of the original 1st ed. 2014 edition] (2016)](https://imusic.b-cdn.net/images/item/original/778/9783709119778.jpg?2016-comparative-medicine-anatomy-and-physiology-paperback-book&class=scaled&v=1608645283)