ISBN: 9789810215842 - machine proofs in geometry: automated production of readable proofs for geometry theorems: 6 (1 risultati)

di Shang-Ching Chou

MACHINE PROOFS IN GEOMETRY: AUTOMATED PRODUCTION OF READABLE PROOFS FOR GEOMETRY THEOREMS VOL-6
Chou, Shang-Ching; Gao, Xiaoshan; Zhang, Jing-Zhong
Lingua: Inglese
Editore: World Scientific Pub Co Inc, 1994
9810215843 / 9789810215842
- Rilegato
Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.Romtrade Corp.
Venditore con 5 stelle
Contatta il venditore
Condizione: Nuovo
EUR 137,76
Spedizione gratuita
Spedito in U.S.A.
Quantità: 5 disponibili
Condizione: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.