Showing Item

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

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

Item identifier: G00497

Binding item identifier:

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

Checkout type: Book

Circulation status: Available On Shelf

Include supplements: No

Call number:
410.96 ハギワ

URL:

Acquired at:

Binding call number:

Binded at:

Note:

Accepted at:

Created at: Mon, 28 Sep 2026 20:52:46 +0900

Updated at: Thu, 01 Oct 2026 13:03:59 +0900