phone (32) 444 93 66
LIBRISTO 0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
InPost 13.99 zł DPD 25.99 zł Paczkomat 13.99 zł ORLEN Paczka 10.99 zł Poczta Polska 18.99 zł
phone Kontakt phoneJak kupować

Machine Proofs In Geometry: Automated Production Of Readable Proofs For Geometry Theorems

Język AngielskiAngielski
Książka Twarda
Książka Machine Proofs In Geometry: Automated Production Of Readable Proofs For Geometry Theorems Shang-Ching Chou
Kod Libristo: 05064599
Wydawnictwo World Scientific Publishing Co Pte Ltd, kwiecień 1994
This book begins by introducing the area method, and recent results in automating the area method. I... Cały opis
? points 491 b
835.01 zł
50 % szansa Przeszukamy cały świat Kiedy dostanę książkę?

30 dni na zwrot towaru

Mogłoby Cię także zainteresować

TOP
Gravity Falls Journal 3 Rob Ronzetti / Twarda
common.buy 69.30 zł
Roman Conquests: Gaul Michael Sage / Twarda
common.buy 106.70 zł
Proof in Geometry A I Fetisov / Miękka
common.buy 38.39 zł
Some Proofs in Elementary Geometry George William 1837-1911 Jones / Miękka
common.buy 66.31 zł
Leather Maiden. Gauklersommer, englische Ausgabe Joe R. Lansdale / Miękka
common.buy 67.11 zł
Ben Sultan Abdülhamid Han Halil Bezmen / Miękka
common.buy 70.50 zł
Joseph Campbell on Myth and Mythology Richard L. Sartore / Miękka
common.buy 351.13 zł
Nostalgia for the Modern Esra Ozyurek / Miękka
common.buy 140.01 zł
Zapowiedź
China After The Fifteenth Party Congress: New Initiatives East Asian Institute / Miękka
common.buy 97.32 zł
Oxford Studies in Metaethics, Volume 7 Russ Shafer-Landau / Twarda
common.buy 843.59 zł
Stollbergs Inferno M. S. Salomon / Miękka
common.buy 66.11 zł
Family Conflict Among Chinese- and Mexican-Origin Adolescents and Their Parents in the U.S. Linda P. Juang / Miękka
common.buy 101.31 zł
Chymical Lectures JOHN FREIND / Twarda
common.buy 155.17 zł
Einführung in die Hieroglyphenschrift Hartwig Altenmüller / Miękka
common.buy 77.18 zł
Art and Life of Chaz Bojorquez Chas Bojorquez / Twarda
common.buy 225.87 zł
Representations of Working in Arts Education Narelle Lemon / Twarda
common.buy 344.65 zł

This book begins by introducing the area method, and recent results in automating the area method. It can either be used as a geometry text for students and geometers, or be regarded as a monograph on machine proofs in geometry. By automating the area method, this book presents a systematic way of proving geometry theorems using traditional methods. The authors aim to make learning and teaching geometry easier through this book.

Informacje o książce

Pełna nazwa Machine Proofs In Geometry: Automated Production Of Readable Proofs For Geometry Theorems
Autor Shang-Ching Chou, X.-S. Gao, J.-Z. Zhang
Język Angielski
Oprawa Książka - Twarda
Data wydania 1994
Liczba stron 480
EAN 9789810215842
ISBN 9810215843
Kod Libristo 05064599
Wydawnictwo World Scientific Publishing Co Pte Ltd
Waga 771

Kategoria

Matematyka i nauki ścisłe > Matematyka > Geometria
Matematyka i nauki ścisłe > Matematyka > Topologia
Informatyka i technologie informacyjne (IT) > Informatyka (nauka)
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo