📖🦍Gorilla Eagle Library🦅
資料情報
BIBLIOGRAPHIC INFORMATION
EXPLORE THE LIBRARY
このQRコードからOPACで
詳しい情報を確認できます。
詳しい情報を確認できます。
https://eagle.gorilla-zone.org/manifestations/527
Coq/SSReflect/MathCompによる定理証明 : フリーソフトではじめる数学の形式化
| タイトルヨミ | コック エスエスリフレクト マス コンプ ニ ヨル テイリ ショウメイ : フリー ソフト デ ハジメル スウガク ノ ケイシキカ |
|---|---|
| 著者 | 萩原, 学, 1974-、Affeldt, Reynald, 1976- |
| 出版者 | 森北出版 |
| 出版年 | 2018 |
| 出版地 | 東京 |
| 形態 | 211p |
| 大きさ | 22cm |
| ISBN | 9784627062412 |
| 分類 | 410.96 |
| 件名 | 記号論理学 |
| 請求記号 | 410.96|ハギワ |
説明コンピュータと協働して数学する！定理証明支援系Coq/SSReflect/MathComp，待望の入門書．（提供元: 出版情報登録センター（JPRO））
所蔵情報 / HOLDINGS
| 資料番号 | 所蔵館 | 書棚 | レーティング | 資料状態 | 持出可否 |
|---|---|---|---|---|---|
| G00497 | 📖🦍Gorilla Eagle LIB🦅 | 🦊フォックスラボ | A | 🔵在架 | 持出可 |