Powiedz znajomym o tym przedmiocie:
Mechanical Theorem Proving in Geometries: Basic Principles - Texts & Monographs in Symbolic Computation Wen-tsun Wu Softcover reprint of the original 1st ed. 1994 edition
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
| 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. |
Zobacz wszystko od Wen-tsun Wu ( np. Paperback Book )