Mechanical Theorem Proving in Geometries: Basic Principles - Texts & Monographs in Symbolic Computation - Wen-tsun Wu - Livros - Springer Verlag GmbH - 9783211825068 - 14 de abril de 1994
Caso a capa e o título não sejam correspondentes, considere o título como correto

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

Wen-tsun Wu

Preço
₪ 189
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 25 - 31 de jul
Adicione à sua lista de desejos do iMusic

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

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 )