Machine Proofs in Geometry: Automated Production of Readable Proofs for Geometry Theorems

Autor Shang-Ching Chou, Xiaoshan Gao, Jing-Zhong Zhang

en Limba Engleză Hardback – apr 1994

Introduces the area method and recent results in automating the area method. This book presents a systematic way of proving geometry theorems using traditional methods.

Citește tot Restrânge

Preț: 943^.79 lei

Preț vechi: 1225^.71 lei
-23% Nou

Puncte Express: 1416

:
180^.60€ • 187^.34$ • 150^.59£

Cartea se retipărește

Wish list
Gift list
Am citit!

Adaugă în listă

Doresc să fiu notificat când acest titlu va fi disponibil:

Trimite

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9789810215842
ISBN-10: 9810215843
Pagini: 480
Greutate: 0.77 kg
Editura: World Scientific Publishing Company

Papetărie, jocuri, reviste

Machine Proofs in Geometry: Automated Production of Readable Proofs for Geometry Theorems

Preț: 943.79 lei

Specificații

Preț: 943^.79 lei