ISBNコード 9784627062412
Ｃｏｑ／ＳＳＲｅｆｌｅｃｔ／ＭａｔｈＣｏｍｐによる定理証明 フリーソフトではじめる数学の形式化 /森北出版/萩原学
商品基本情報
| 商品イメージ |  |
|---|---|
| 価格調査 | ※各サイトの検索結果ページが表示されます。    |
| 一括価格調査 | 一括価格調査ツールで検索 |
| コード番号 | 9784627062412 |
| コードタイプ | ISBN |
| JANシンボル |  |
| 商品名 | Ｃｏｑ／ＳＳＲｅｆｌｅｃｔ／ＭａｔｈＣｏｍｐによる定理証明 フリーソフトではじめる数学の形式化 /森北出版/萩原学 |
| 品番/型番 | 9784627062412 |
| 会社名 | 森北出版 |
| 会社名カナ | モリキタシユツパン |
| 発売日 | 2018年4月13日 |
| 商品ジャンル | 本・雑誌・コミック > 科学・医学・技術 > 数学 |
| 広告 |
商品詳細情報
| 書名カナ | コック エスエスリフレクト マスコンプ ニ ヨル テイリ ショウメイ フリーソフト デ ハジメル スウガク ノ ケイシキカ |
|---|---|
| 著者名 | 萩原学、アフェルト・レナルド |
| 著者名カナ | ハギワラ,マナブ、レナルド,アフェルト |
| 発行者 | 森北出版 |
| 発行者カナ | モリキタシユツパン |
| ページ数 | ２２４ｐ |
| サイズ | 22 |
| 広告 |