この情報を出力する

このページのリンク

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

出版者 東京 : 森北出版
出版年 2018.4
大きさ iv, 211p : 挿図 ; 22cm
目次

所蔵情報を非表示



4F 410/314 191111228

書誌詳細を非表示

別書名 異なりアクセスタイトル:CoqSsreflectMathCompによる定理証明 : フリーソフトではじめる数学の形式化
一般注記 背に0624の表記あり
NCID BB25944631
本文言語 日本語
著者標目  萩原, 学 <ハギワラ, マナブ>
 Affeldt, Reynald, 1976-
分 類 NDC9:410.96
NDC10:410
NDC10:007.1
件 名 NDLSH:応用数学
NDLSH:記号論理学
BSH:証明(数学)
BSH:情報理論
BSH:証明(数学) -- データ処理  全ての件名で検索
ISBN 9784627062412
書誌ID BB90089554
巻冊次 ISBN:9784627062412 ; PRICE:3200円+税

 類似資料