Mechanical Theorem Proving in Geometries: Basic Principles - Texts & Monographs in Symbolic Computation - Wen-tsun Wu - Livres - Springer Verlag GmbH - 9783211825068 - 14 avril 1994
Si la couverture et le titre ne correspondent pas, le titre est correct.

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

Prix
€ 50,49

Commandé depuis un entrepôt distant

Livraison prévue 26 janv. - 3 févr.
Ajouter à votre liste de souhaits iMusic

" 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.