Mechanical Theorem Proving in Geometries: Basic Principles - Texts & Monographs in Symbolic Computation - Wen-tsun Wu - Kirjat - Springer Verlag GmbH - 9783211825068 - torstai 14. huhtikuuta 1994
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

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

Wen-tsun Wu

Hinta
A$ 94,59

Tilattu etävarastosta

Arvioitu toimitus ti 29. heinä - ke 6. elo
Lisää iMusic-toivelistallesi
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 Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä torstai 14. huhtikuuta 1994
ISBN13 9783211825068
Tuottaja Springer Verlag GmbH
Sivujen määrä 288
Mitta 170 × 244 × 17 mm   ·   494 g
Kieli English  
Kääntäjä Jin, X.
Kääntäjä Wang, D.