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

情報なし

著者

萩原, 学, 1974-、Affeldt, Reynald, 1976-

出版社

森北出版

発売日

2018年4月発売

価格

3,200円（税込・書誌情報提供：openBD）

ISBN

9784627062412

発売済み