Coq/Ssreflect/Mathcompによる定理証明 : フリーソフトではじめる数学の形式化
- 著者名萩原学, アフェルト・レナルド共著
- 出版者森北出版
- 出版年2018.4
貸出・返却・予約状況
- 所蔵数1
- 貸出可能数1
- 予約数0
所蔵事項
- 登録番号0001417
- 請求記号410.96/HA
- 貸出区分通常
- 蔵書区分図書
- 配架場所 2階閲覧室
- 所蔵状態所蔵
書誌事項
- 書名Coq/Ssreflect/Mathcompによる定理証明 : フリーソフトではじめる数学の形式化
- 著者名萩原学, アフェルト・レナルド共著
- ISBN9784627062412
- 出版地東京
- 出版者森北出版
- 出版年2018.4
- ページiv, 211p
- サイズ22cm
- 注記背に0624の表記あり
- 件名応用数学
記号論理学
証明(数学)
情報理論
証明(数学) -- データ処理