資料の表示
[M]
Coq/SSReflect/MathCompによる定理証明 : フリーソフトではじめる数学の形式化 
萩原学, アフェルト・レナルド 共著
著者: 萩原, 学, 1974- [A] Affeldt, Reynald, 1976- [A] 出版者: 森北出版
(出版日: 2018)
| 本タイトル: | Coq/SSReflect/MathCompによる定理証明 : フリーソフトではじめる数学の形式化 |
| タイトルのヨミ: | コック エスエスリフレクト マス コンプ ニ ヨル テイリ ショウメイ : フリー ソフト デ ハジメル スウガク ノ ケイシキカ |
| 巻号: | |
| 形態: |
冊子体 /
 文字 |
| 言語: | 日本語 |
| 出版地: | 東京 |
| ページ数と大きさ: | 211p ; 22cm |
| 価格: | 3200 |
| 件名: | |
| 分類: | |
| タグ: |
|
| 識別子: |
ISBN:
9784627062412
NDL Search:
R100000002-I028927081
JPNO:
23055195
カーリル:
9784627062412
CiNii Research:
9784627062412
Google Books:
9784627062412
ブクログ:
9784627062412
読書メーター:
9784627062412
版元ドットコム:
9784627062412
|
| 作成時刻: | 2026/09/28 20:52:15 |
| 更新時刻: | 2026/10/01 13:03:59 |
| 説明: |
コンピュータと協働して数学する！定理証明支援系Coq/SSReflect/MathComp，待望の入門書．（提供元: 出版情報登録センター（JPRO）） |
【レーティングの基準】
SS
そのテーマで最初に選びたい、特に信頼できる代表的な資料
S
内容や有用性に優れ、積極的に利用を勧められる資料
A
十分に価値があり、幅広く利用を勧められる資料
B
特定の目的・関心に合えば有用な資料
C
利用場面は限られるが、特定目的や歴史的参照には有用な資料
D
現在では利用を積極的には勧めにくい資料
請求記号
410.96
ハギワ