Ｃｏｑ／ＳＳＲｅｆｌｅｃｔ／ＭａｔｈＣｏｍｐによる定理証明 フリーソフトではじめる数学の形式化
商品コード：X1009784627062412
- 著者萩原学／共著 アフェルト・レナルド／共著
- 出版社名森北出版
- ページ数２１１Ｐ ２２ｃｍ
- ISBN978-4-627-06241-2
販売価格3,520円(税込)
ポイント3%106円相当進呈
在庫通常1～2日で出荷
株式会社ヤマダデンキ（登録番号：T2070001036729）が販売し、「株式会社トーハン」が発送いたします。
商品コード：X1009784627062412
販売価格3,520円(税込)
ポイント3%106円相当進呈
在庫通常1～2日で出荷
株式会社ヤマダデンキ（登録番号：T2070001036729）が販売し、「株式会社トーハン」が発送いたします。