|
著者：萩原学
/ アフェルト・レナルド
出版社：森北出版
出版日：2018年04月18日頃
ISBN10：4627062419
ISBN13：9784627062412
販売価格：3,520円
「四色定理」や「ケプラー予想」の証明に使われたことでも注目の定理証明支援系。その研究利用と普及を手がけてきた著者らが、開発環境のインストール手順から基本的な操作、代表的な命令・ライブラリの使い方までを丁寧に案内します。
|
| ショップ | 古本・中古価格 | 在庫 | 詳細 |
|---|---|---|---|
| アマゾン（中古） |  検索中... | ||
| 楽天市場（中古） | 検索中... | ||
|
| 検索中... | ||
| au PAY マーケット（中古）
| 検索中... | ||
| メルカリ | 検索中... | ||
| 楽天ラクマ | 検索中... | ||
| Yahoo!フリマ | 検索中... | ||
ネットオフ
| 検索中... | ||
| 駿河屋 | 検索中... | ||
| ブックオフオンライン | 検索中... | ||
| スーパー源氏 | 検索中... | ||
| 日本の古本屋 | 検索中... | ||
| ジモティー | 検索中... | ||
| Yahoo!オークション | 検索中... | ||
| モバオク | 検索中... | ||
| DMM通販（中古） | 検索中... | ||
| HMV & BOOKS（中古） | 検索中... | ||
|
| 検索中... | ||
|
| 検索中... | ||
|
| 検索中... | ||
| 楽天kobo（電子書籍） | 検索中... | ||
|
| 検索中... | ||
新品・買取・口コミ |
|---|
関連書籍 |
|---|
履歴すべて削除 |
|---|
キャンペーン・割引クーポン |
|---|
|
【買取】駿河屋☆買取アップキャンペーン
【買取】送料やダンボール、キャンセル返送料すべて無料！おすすめの古本買取サービス
|
/ 
