phone 571 999 090
LIBRISTO 0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
PPL Parcel Shop 54 Kč Balík do ruky 74 Kč Balíkovna 49 Kč GLS 54 Kč Kurýr GLS 74 Kč Zásilkovna 49 Kč PPL 99 Kč
phone Kontakt phoneJak nakupovat

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

Jazyk AngličtinaAngličtina
Kniha Pevná
Kniha Machine Proofs In Geometry: Automated Production Of Readable Proofs For Geometry Theorems Shang-Ching Chou
Libristo kód: 05064599
Nakladatelství World Scientific Publishing Co Pte Ltd, dubna 1994
This book begins by introducing the area method, and recent results in automating the area method. I... Celý popis
? points 514 b
5 135 Kč včetně DPH
50 % šance Prohledáme celý svět Kdy knihu dostanu?

30 dní na vrácení zboží

Mohlo by vás také zajímat

TOP
Gravity Falls Journal 3 Rob Ronzetti / Pevná
common.buy 435 Kč
Roman Conquests: Gaul Michael Sage / Pevná
common.buy 662 Kč
Proof in Geometry A I Fetisov / Brožovaná
common.buy 213 Kč
Leather Maiden. Gauklersommer, englische Ausgabe Joe R. Lansdale / Brožovaná
common.buy 395 Kč
Ben Sultan Abdülhamid Han Halil Bezmen / Brožovaná
common.buy 436 Kč
Some Proofs in Elementary Geometry George William 1837-1911 Jones / Brožovaná
common.buy 390 Kč
Joseph Campbell on Myth and Mythology Richard L. Sartore / Brožovaná
common.buy 2 066 Kč
Nostalgia for the Modern Esra Ozyurek / Brožovaná
common.buy 824 Kč
Připravujeme
China After The Fifteenth Party Congress: New Initiatives East Asian Institute / Brožovaná
common.buy 603 Kč
Oxford Studies in Metaethics, Volume 7 Russ Shafer-Landau / Pevná
common.buy 4 964 Kč
Stollbergs Inferno M. S. Salomon / Brožovaná
common.buy 412 Kč
Family Conflict Among Chinese- and Mexican-Origin Adolescents and Their Parents in the U.S. Linda P. Juang / Brožovaná
common.buy 635 Kč
Chymical Lectures JOHN FREIND / Pevná
common.buy 870 Kč
Einführung in die Hieroglyphenschrift Hartwig Altenmüller / Brožovaná
common.buy 479 Kč
Art and Life of Chaz Bojorquez Chas Bojorquez / Pevná
common.buy 1 329 Kč
Representations of Working in Arts Education Narelle Lemon / Pevná
common.buy 2 129 Kč

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.

Informace o knize

Plný název Machine Proofs In Geometry: Automated Production Of Readable Proofs For Geometry Theorems
Autor Shang-Ching Chou, X.-S. Gao, J.-Z. Zhang
Jazyk Angličtina
Vazba Kniha - Pevná
Datum vydání 1994
Počet stran 480
EAN 9789810215842
ISBN 9810215843
Libristo kód 05064599
Nakladatelství World Scientific Publishing Co Pte Ltd
Váha 771

Kategorie

Matematika a věda > Matematika > Geometrie
Matematika a věda > Matematika > Topologie
Výpočetní a informační technologie > Informatika
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

Nemáte účet? Získejte výhody Libristo účtu!

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet