Mechanical Theorem Proving in Geometries

Wu, Wen-tsun; Springer Verlag GmbH; 1994
Mechanical Theorem Proving in Geometries

Mechanical Theorem Proving in Geometries

Wu, Wen-tsun; Springer Verlag GmbH; 1994
Na objednávku
Predpokladané dodanie v pondelok, 31. augusta 2020
69,17 € s DPH
Ušetríte 12,21 € 81,38 € (-15%)
Pridať do košíka
" 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.
EAN
9783211825068
ISBN
3211825061
Typ produktu
Paperback / softback
Vydavateľ
Springer Verlag GmbH
Dátum vydania
01.04.1994
Stránky
288
Jazyk
English
Krajina
Austria
Čitatelia
Professional & Scholarly
Autori
Wu, Wen-tsun
Ilustrácie
XIV, 288 p.
Edícia
Softcover reprint of the original 1st ed. 1994
Séria
Texts & Monographs in Symbolic Computation
PRODUCT UPDATE
Súvisiace produkty
14 539 134
kníh
2 778 982
e-kníh
Práve toľko titulov máme v ponuke
Osobný odber zdarma v Bratislave, Banskej Bystrici a Košiciach
Doprava nad 50 Eur zdarma
Darčekové balenie kníh zdarma
Najväčšia knižná ponuka na slovenskom internete

Akceptujeme

PayPal Visa Visa Electron Maestro Mastercard
Tento web používa k poskytovaniu služieb, personalizácii obsahu a analýze návštenosti súbory cookies. Kliknutím na tlačidlo "Súhlasím" k tomu udelujete súhlas. Pokiaľ nesúhlasíte, nebudeme žiadne súbory cookies okrem tých nevyhnutných počas Vašej návštevy ukladať a nijak používať. Konkrétne informácie o spracovaní osobných údajov, súboroch cookies a o tom, ako ich používame, nájdete tu.
Súhlasím Nesúhlasím