phone +36 1 6333 184
LIBRISTO 0
Ingyenes szállítás a Packetával, 19 990 Ft feletti vásárlás esetén
Posta 1 795 Ft DPD 1 995 Ft PostaPont / Csomagautomata 1 690 Ft Postán 1 690 Ft GLS futár 1 590 Ft Packeta 990 Ft
phone Kapcsolat phoneHogyan vásároljunk

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

Nyelv AngolAngol
Könyv Kemény kötésű
Könyv Machine Proofs In Geometry: Automated Production Of Readable Proofs For Geometry Theorems Shang-Ching Chou
Libristo kód: 05064599
Kiadó World Scientific Publishing Co Pte Ltd, április 1994
This book begins by introducing the area method, and recent results in automating the area method. I... Teljes leírás
? points 522 b
81 184 Ft
50 % esély Keressük az egész világon Mikor kapom meg a terméket?

30 nap a termék visszaküldésére

Ezt is ajánljuk

Roman Conquests: Gaul Michael Sage / Kemény kötésű
common.buy 9 912 Ft
Leather Maiden. Gauklersommer, englische Ausgabe Joe R. Lansdale / Puha kötésű
common.buy 6 635 Ft
Ben Sultan Abdülhamid Han Halil Bezmen / Puha kötésű
common.buy 6 774 Ft
Art and Life of Chaz Bojorquez Chas Bojorquez / Kemény kötésű
common.buy 20 849 Ft
Joseph Campbell on Myth and Mythology Richard L. Sartore / Puha kötésű
common.buy 34 681 Ft
Nostalgia for the Modern Esra Ozyurek / Puha kötésű
common.buy 13 846 Ft
hamarosan
China After The Fifteenth Party Congress: New Initiatives East Asian Institute / Puha kötésű
common.buy 9 385 Ft
Stollbergs Inferno M. S. Salomon / Puha kötésű
common.buy 5 735 Ft
Oxford Studies in Metaethics, Volume 7 Russ Shafer-Landau / Kemény kötésű
common.buy 83 621 Ft
Chymical Lectures JOHN FREIND / Kemény kötésű
common.buy 14 806 Ft
hamarosan
Einführung in die Hieroglyphenschrift Hartwig Altenmüller / Puha kötésű
common.buy 7 440 Ft
Family Conflict Among Chinese- and Mexican-Origin Adolescents and Their Parents in the U.S. Linda P. Juang / Puha kötésű
common.buy 9 883 Ft
Representations of Working in Arts Education Narelle Lemon / Kemény kötésű
common.buy 33 094 Ft
Isaiah 40-66 Claus Westermann / Puha kötésű
common.buy 24 256 Ft

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.

Információ a könyvről

Teljes megnevezés Machine Proofs In Geometry: Automated Production Of Readable Proofs For Geometry Theorems
Szerző Shang-Ching Chou, X.-S. Gao, J.-Z. Zhang
Nyelv Angol
Kötés Könyv - Kemény kötésű
Kiadás éve 1994
Oldalszám 480
EAN 9789810215842
ISBN 9810215843
Libristo kód 05064599
Kiadó World Scientific Publishing Co Pte Ltd
Súly 771

Kategória

Matematika és természettudomány > Matematika > Geometria
Matematika és természettudomány > Matematika > Topológia
Számítástechnika és információtechnológia > Számítógéptudomány
Ajándékozza oda ezt a könyvet még ma
Nagyon egyszerű
1 Tegye a kosárba könyvet, és válassza ki a kiszállítás ajándékként opciót 2 Rögtön küldjük Önnek az utalványt 3 A könyv megérkezik a megajándékozott címére

Belépés

Bejelentkezés a saját fiókba. Még nincs Libristo fiókja? Hozza létre most!

 
kötelező
kötelező
Elfelejtett jelszó

Nincs fiókja? Szerezze meg a Libristo fiók kedvezményeit!

A Libristo fióknak köszönhetően mindent a felügyelete alatt tarthat.

Libristo fiók létrehozása