Mechanical Theorem Proving in Geometries: Basic Principles - Texts & Monographs in Symbolic Computation - Wen-tsun Wu - Książki - Springer Verlag GmbH - 9783211825068 - 14 kwietnia 1994
W przypadku, gdy okładka i tytuł się nie zgadzają, tytuł jest poprawny

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

Cena
zł 211,90

Zamówione z odległego magazynu

Przewidywana dostawa 26 sty - 3 lut
Dodaj do swojej listy życzeń iMusic

" 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 Książki     Paperback Book   (Książka z miękką okładką i klejonym grzbietem)
Wydane 14 kwietnia 1994
ISBN13 9783211825068
Wydawcy Springer Verlag GmbH
Strony 288
Wymiary 170 × 244 × 17 mm   ·   494 g
Język Angielski  
Tłumacz Jin, X.
Tłumacz Wang, D.