Showing Manifestation
[M]
Coq/SSReflect/MathCompによる定理証明 : フリーソフトではじめる数学の形式化 
萩原学, アフェルト・レナルド 共著
Creator: 萩原, 学, 1974- [A] Affeldt, Reynald, 1976- [A] Publisher: 森北出版
(Date of publication: 2018)
| Original title: | Coq/SSReflect/MathCompによる定理証明 : フリーソフトではじめる数学の形式化 |
| Title transcription: | コック エスエスリフレクト マス コンプ ニ ヨル テイリ ショウメイ : フリー ソフト デ ハジメル スウガク ノ ケイシキカ |
| Number: | |
| Form: |
Volume /
 text |
| Language: | Japanese |
| Publication place: | 東京 |
| Physical description: | 211p ; 22cm |
| Price: | 3200 |
| Subject: | |
| Classification: | |
| Tag: |
|
| Identifier: |
ISBN:
9784627062412
NDL Search:
R100000002-I028927081
JPNO:
23055195
カーリル:
9784627062412
CiNii Research:
9784627062412
Google Books:
9784627062412
ブクログ:
9784627062412
読書メーター:
9784627062412
版元ドットコム:
9784627062412
|
| Created at: | Mon, 28 Sep 2026 20:52:15 +0900 |
| Updated at: | Thu, 01 Oct 2026 13:03:59 +0900 |
| Description: |
コンピュータと協働して数学する！定理証明支援系Coq/SSReflect/MathComp，待望の入門書．（提供元: 出版情報登録センター（JPRO）） |
【レーティングの基準】
SS
そのテーマで最初に選びたい、特に信頼できる代表的な資料
S
内容や有用性に優れ、積極的に利用を勧められる資料
A
十分に価値があり、幅広く利用を勧められる資料
B
特定の目的・関心に合えば有用な資料
C
利用場面は限られるが、特定目的や歴史的参照には有用な資料
D
現在では利用を積極的には勧めにくい資料
請求記号
410.96
ハギワ