phone +385 21 784 0072
LIBRISTO 0
Besplatna dostava Overseas kurirskom službom iznad 59.99 €
Overseas 4.99 € Pošta 4.99 € DPD 5.99 € GLS 3.99 € GLS paketomat 3.49 € Box Now 4.49 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 59,99 €!

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

Jezik EngleskiEngleski
Knjiga Tvrdi uvez
Knjiga Machine Proofs In Geometry: Automated Production Of Readable Proofs For Geometry Theorems Shang-Ching Chou
Libristo kod: 05064599
Nakladnici World Scientific Publishing Co Pte Ltd, travanj 1994
This book begins by introducing the area method, and recent results in automating the area method. I... Cijeli opis
? points 513 b
204.42 €
50 % šanse Pretražit ćemo cijeli svijet Kada ću dobiti knjigu?

30 dana za povrat kupljenih proizvoda

Moglo bi vas zanimati i

TOP
Gravity Falls Journal 3 Rob Ronzetti / Tvrdi uvez
common.buy 17.32 €
Roman Conquests: Gaul Michael Sage / Tvrdi uvez
common.buy 26.39 €
Proof in Geometry A I Fetisov / Meki uvez
common.buy 8.96 €
Leather Maiden. Gauklersommer, englische Ausgabe Joe R. Lansdale / Meki uvez
common.buy 15.71 €
Ben Sultan Abdülhamid Han Halil Bezmen / Meki uvez
common.buy 17.32 €
Some Proofs in Elementary Geometry George William 1837-1911 Jones / Meki uvez
common.buy 15.51 €
Joseph Campbell on Myth and Mythology Richard L. Sartore / Meki uvez
common.buy 82.21 €
Nostalgia for the Modern Esra Ozyurek / Meki uvez
common.buy 32.84 €
PRIPREMAMO
China After The Fifteenth Party Congress: New Initiatives East Asian Institute / Meki uvez
common.buy 23.97 €
Oxford Studies in Metaethics, Volume 7 Russ Shafer-Landau / Tvrdi uvez
common.buy 197.67 €
Stollbergs Inferno M. S. Salomon / Meki uvez
common.buy 16.41 €
Family Conflict Among Chinese- and Mexican-Origin Adolescents and Their Parents in the U.S. Linda P. Juang / Meki uvez
common.buy 25.28 €
Chymical Lectures JOHN FREIND / Tvrdi uvez
common.buy 34.65 €
Einführung in die Hieroglyphenschrift Hartwig Altenmüller / Meki uvez
common.buy 19.03 €
Art and Life of Chaz Bojorquez Chas Bojorquez / Tvrdi uvez
common.buy 52.89 €
Representations of Working in Arts Education Narelle Lemon / Tvrdi uvez
common.buy 84.73 €

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.

Informacije o knjizi

Puni naziv Machine Proofs In Geometry: Automated Production Of Readable Proofs For Geometry Theorems
Autor Shang-Ching Chou, X.-S. Gao, J.-Z. Zhang
Jezik Engleski
Uvez Knjiga - Tvrdi uvez
Datum izdanja 1994
Broj stranica 480
EAN 9789810215842
ISBN 9810215843
Libristo kod 05064599
Nakladnici World Scientific Publishing Co Pte Ltd
Težina 771

Kategorija

Mathematics & Science > Mathematics > Geometry
Mathematics & Science > Mathematics > Topology
Computing & Information Technology > Computer science
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun