北里大学OPAC

Coq/Ssreflect/Mathcomp ニヨルテイリショウメイ : フリーソフトデハジメルスウガクノケイシキカ

Coq/Ssreflect/Mathcompによる定理証明 : フリーソフトではじめる数学の形式化 / 萩原学, アフェルト・レナルド共著

配架場所	巻　次	請求記号	登録番号	状　態	コメント	ISBN	刷　年	予約	利用注記
未来工学部(教養図書館BF)		410.96\|\|H14	71134628			9784627062412	2018.4

大きさ	iv, 211p : 挿図 ; 22cm
別書名	異なりアクセスタイトル:CoqSsreflectMathCompによる定理証明 : フリーソフトではじめる数学の形式化
件　名	NDLSH:応用数学 NDLSH:記号論理学 BSH:証明(数学) BSH:情報理論 BSH:証明(数学) -- データ処理
一般注記	背に0624の表記あり
分　類	NDC9:410.96 NDC10:410 NDC10:007.1
書誌ID	BB10179073
本文言語	日本語
巻冊次	ISBN:9784627062412 ; PRICE:3200円+税
NCID	BB25944631