Fortæl dine venner om denne vare:
Mechanical Theorem Proving in Geometries: Basic Principles - Texts & Monographs in Symbolic Computation Softcover reprint of the original 1st ed. 1994 edition
Wen-tsun Wu
Pris
₪ 233,75
Bestilles fra fjernlager
Forventes klar til forsendelse 28. jul. - 1. aug.
Tilføj til din iMusic ønskeseddel
Eller
Mechanical Theorem Proving in Geometries: Basic Principles - Texts & Monographs in Symbolic Computation Softcover reprint of the original 1st ed. 1994 edition
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
| Medie | Bøger Paperback Bog (Bog med blødt omslag og limet ryg) |
| Udgivet | 14. april 1994 |
| ISBN13 | 9783211825068 |
| Forlag | Springer Verlag GmbH |
| Antal sider | 288 |
| Mål | 170 × 244 × 17 mm · 494 g |
| Sprog | Engelsk |
| Oversætter | Jin, X. |
| Oversætter | Wang, D. |
Se alt med Wen-tsun Wu ( f.eks. Paperback Bog )