Mechanical Theorem Proving in Geometries: Basic Principles - Texts & Monographs in Symbolic Computation - Wen-tsun Wu - Bøker - Springer Verlag GmbH - 9783211825068 - 14. april 1994
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

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
R$ 328,90

Bestillingsvarer

Forventes levert 29. jul - 6. aug
Legg til iMusic ønskeliste
Eller

Mechanical Theorem Proving in Geometries: Basic Principles - Texts & Monographs in Symbolic Computation Softcover reprint of the original 1st ed. 1994 edition

" 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

Media Bøker     Pocketbok   (Bok med mykt omslag og limt rygg)
Utgitt 14. april 1994
ISBN13 9783211825068
Utgivere Springer Verlag GmbH
Antall sider 288
Mål 170 × 244 × 17 mm   ·   494 g
Språk Engelsk  
Oversetter Jin, X.
Oversetter Wang, D.