
Conte aos seus amigos sobre este item:
Mechanical Theorem Proving in Geometries: Basic Principles - Texts & Monographs in Symbolic Computation Softcover reprint of the original 1st ed. 1994 edition
Wen-tsun Wu
Mechanical Theorem Proving in Geometries: Basic Principles - Texts & Monographs in Symbolic Computation Softcover reprint of the original 1st ed. 1994 edition
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ídia | Livros Paperback Book (Livro de capa flexível e brochura) |
Lançado | 14 de abril de 1994 |
ISBN13 | 9783211825068 |
Editoras | Springer Verlag GmbH |
Páginas | 288 |
Dimensões | 170 × 244 × 17 mm · 494 g |
Idioma | English |
Tradutor | Jin, X. |
Tradutor | Wang, D. |
Ver tudo de Wen-tsun Wu ( por exemplo Paperback Book )