Coq/SSReflect/MathCompによる定理証明 : フリーソフトではじめる数学の形式化
2018-04-18 (水) - 発売中
Coq/SSReflect/MathCompによる定理証明 : フリーソフトではじめる数学の形式化￥3,200. 2023年09月04日 12時44分 JST時点 - 詳細はこちら Amazonで購入する 他のショップで探す |
- 新刊発見日: 2018年03月02日
- 森北出版
- EAN: 9784627062412
- 単行本（ソフトカバー）
- Powerd by openBD