所蔵情報の表示

[M] Coq/SSReflect/MathCompによる定理証明 : フリーソフトではじめる数学の形式化

萩原学, アフェルト・レナルド 共著
著者: 萩原, 学, 1974- [A] Affeldt, Reynald, 1976- [A] 出版者: 森北出版 (出版日: 2018)

所蔵情報ID: G00497

製本後の所蔵情報ID:

本棚: 🦊フォックスラボ (📖🦍Gorilla Eagle LIB🦅)

貸出区分: 図書

貸出状態: 🔵在架

付録を含む: いいえ

請求記号:
410.96 ハギワ

URL:

受入日:

製本後の請求記号:

製本日:

注記:

検収時刻:

作成時刻: 2026/09/28 20:52:46

更新時刻: 2026/10/01 13:03:59