Coq SSReflect MathCompによる定理証明

• タイトルヨミ: コックエスエスリフレクトマスコンプニヨルテイリショウメイ
• サブタイトル: フリーソフトではじめる数学の形式化
• サブタイトルヨミ: フリーソフトデハジメルスウガクノケイシキカ
• 著編者等／著者名等: 萩原学‖共著 アフェルト・レナルド‖共著
• 統一著者名ヨミ: Affeldt Reynald
• 統一著者名: 萩原学
• 著編者等ヨミ／著者名等ヨミ: ハギワラマナブ アフェルトレナルド
• 出版者: 森北出版
• 出版地: 東京
• 出版年: 2018.4
• 大きさ: 4,211p
• 件名: 証明(数学)-データ処理
• 分類: 410,410 410
• ISBN: 978-4-627-06241-2
• マークNo: TRC000000018019366
• タイトルコード: 1000001129402
• 資料番号: 00000000000009488313
• 請求記号: 410/ﾊｷ ｺ
• 内容紹介: 定理証明支援系の研究利用と普及を手がけてきた著者らが、Coq/SSReflect/MathCompの開発環境づくりから、基本的な操作、代表的な命令・ライブラリの使い方までを解説する。
• 種別: 図書
• 配架場所: 03141