Machine Proofs in Geometry: Automated Production of Readable Proofs for Geometry Theorems
Jing-zhong Zhang, Shang-ching Chou et Xiaoshan Gao
Da Ammareal, Morangis, Francia
Valutazione del venditore 5 su 5 stelle
Venditore AbeBooks dal 29 agosto 2016
Usato - Rilegato
Quantità: 1 disponibili
Aggiungere al carrello