Mechanical Theorem Proving in Geometries: Basic Principles - Texts & Monographs in Symbolic Computation - Wen-tsun Wu - Books - Springer Verlag GmbH - 9783211825068 - April 14, 1994
In case cover and title do not match, the title is correct

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

Wen-tsun Wu

Price
A$ 85.99
excl. VAT

Ordered from remote warehouse

Expected delivery Aug 1 - 13

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

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

Media Books     Paperback Book   (Book with soft cover and glued back)
Released April 14, 1994
ISBN13 9783211825068
Publishers Springer Verlag GmbH
Pages 288
Dimensions 170 × 244 × 17 mm   ·   494 g
Language English  
Translator Jin, X.
Translator Wang, D.

See all of Wen-tsun Wu ( e.g. Paperback Book )