Machine Proofs In Geometry: Automated Production Of Readable Proofs For Geometry Theorems
◆World Scientificセール開催中!:2024年12月22日(日)ご注文分まで
※上記表示の販売価格は割引適用後の価格です 出版済み 3-5週間でお届けいたします。 Series: Series On Applied Mathematics Author: Zhang, Jing-zhong (Huazhong Normal Univ, Guangzhou Univ & Chinese Academy Of Sciences, China) / Chou, Shang-ching (Wichita State Univ, Usa) / Gao, Xiaoshan (Chinese Academy Of Sciences, China) Publisher: World Scientific ISBN: 9789810215842 Cover: HARDCOVER Date: 1994年04月 こちらの商品は学校・法人様向け(機関契約)のオンラインブック版がございます。 オンラインブックの価格、納期につきましては弊社営業員または当ECサイトよりお問い合わせください。
|