Faites connaître cet article à vos amis:
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
| Médias | Livres Paperback Book (Livre avec couverture souple et dos collé) |
| Validé | 14 avril 1994 |
| ISBN13 | 9783211825068 |
| Éditeurs | Springer Verlag GmbH |
| Pages | 288 |
| Dimensions | 170 × 244 × 17 mm · 494 g |
| Langue et grammaire | Anglais |
| Traducteur | Jin, X. |
| Traducteur | Wang, D. |
Voir tous les Wen-tsun Wu ( par ex. Paperback Book )