2025/08/16
| 資料の種別｡ |
図書｡
 資料情報のコピー
|
| 書名｡ |
Coq/SSReflect/MathCompによる定理証明(コック/エスエスリフレクト/マスコンプ/ニ/ヨル/テイリ/ショウメイ)｡
|
| 副書名｡ |
フリーソフトではじめる数学の形式化(フリー/ソフト/デ/ハジメル/スウガク/ノ/ケイシキカ)｡
|
| 著者名等｡ |
萩原/学‖共著(ハギワラ,マナブ)｡
|
| アフェルト・レナルド‖共著(アフェルト,レナルド)｡
|
| 出版者｡ |
森北出版／東京｡
|
| 出版年｡ |
2018.4｡
|
| ページと大きさ｡ |
4,211p／22cm｡
|
| 件名｡ |
証明(数学)-データ処理｡
|
| 分類｡ |
NDC8 版：410｡
|
| NDC9 版：410｡
|
| NDC10版：410｡
|
| ISBN｡ |
978-4-627-06241-2｡
|
| 価格｡ |
¥3200｡
|
| タイトルコード｡ |
1000001129402｡
|
| 内容紹介｡ |
定理証明支援系の研究利用と普及を手がけてきた著者らが、Coq/SSReflect/MathCompの開発環境づくりから、基本的な操作、代表的な命令・ライブラリの使い方までを解説する。｡
|
| 著者紹介｡ |
1974年栃木県生まれ。千葉大学准教授。｡
|
| 1976年フランス生まれ。国立研究開発法人産業技術総合研究所主任研究員。｡
|
| 所蔵数｡ |
館内でのみ利用可能な資料 ｡ |
貸出可能な資料｡ |
貸出中の資料（割当または回送中含む） ｡ |
予約件数（割当含む）｡ |
- 所蔵数
- 1 冊
|
館内でのみ利用可能な資料 - 0 冊
|
- 貸出可能な資料｡
- 1 冊
|
貸出中の資料（割当または回送中含む） - 0 冊
|
- 予約件数（割当含む）
- 0 件
|
このページのURL：https://www.library.pref.ishikawa.lg.jp/wo/opc_srh/srh_detail/1000001129402