Coq/SSReflect/MathCompによる定理証明

フリーソフトではじめる数学の形式化


【著者名　】萩原学/アフェルト・レナルド

【シリーズ】

【出版社　】森北出版


【発行年度】2018年　 【冊数】1　 【頁数】211　 【判型・装丁】A5ペーパー

【現品状態】
擦れ有、カバー背角少ヨレ有、本文は概ね良好。

【ISBN】4627062419

￥2,100 税込

数量