| NCID | BB25944631 |
| タイトル | Coq/Ssreflect/Mathcompによる定理証明 : フリーソフトではじめる数学の形式化 / 萩原学, アフェルト・レナルド共著||Coq/Ssreflect/Mathcomp ニヨル テイリ ショウメイ : フリーソフト デ ハジメル スウガク ノ ケイシキカ |
| 出版者 | 東京 : 森北出版 , 2018.4 |
| 形態 | iv, 211p : 挿図 ; 22cm |
| 別書名 | CoqSsreflectMathCompによる定理証明 : フリーソフトではじめる数学の形式化
|
| 注記 | 背に0264の表記あり |
| 分類 | NDC10:410
NDC10:007.1 |
| 件名 | NDLSH:応用数学
BSH:証明(数学)
BSH:情報理論
|
| 著者情報 | 萩原, 学 (ハギワラ, マナブ)
Affeldt, Reynald, 1976-
|
| 和洋区分 | 和 |
| 標題言語 | 日本語 |
| 本文言語 | 日本語 |
| 出版国 | 日本 |
| ISBN | 9784627062412
|