このページのリンク

Coq/Ssreflect/Mathcomp ニヨル テイリ ショウメイ : フリーソフト デ ハジメル スウガク ノ ケイシキカ
Coq/Ssreflect/Mathcompによる定理証明 : フリーソフトではじめる数学の形式化 / 萩原学, アフェルト・レナルド共著

データ種別 図書
出版者 東京 : 森北出版
出版年 2018.4
本文言語 日本語
大きさ iv, 211p : 挿図 ; 22cm
目次/あらすじ

所蔵情報を非表示


GF: 一般書架 007.1/H14 08035793
9784627062412

書誌詳細を非表示

別書名 異なりアクセスタイトル:CoqSsreflectMathCompによる定理証明 : フリーソフトではじめる数学の形式化
一般注記 背に0264の表記あり
著者標目 萩原, 学 <ハギワラ, マナブ>
Affeldt, Reynald, 1976-
件 名 NDLSH:応用数学
BSH:証明(数学)
BSH:情報理論
分 類 NDC10:410
NDC10:007.1
書誌ID 4100076633
ISBN 9784627062412
NCID BB25944631 WCLINK

 類似資料