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
|