Coq/SSReflect/MathCompによる定理証明
- 発売日: 2018年4月18日 水曜日 - 発売中
- 新刊発見日: 2018年03月02日
- （2025年11月22日 21時13分 JST時点）
在庫状況： 在庫あり
- 萩原 学/アフェルト・レナルド
- 森北出版
- 価格： ￥3,520. (税込)
- EAN： 9784627062412
単行本（ソフトカバー）
新刊チェックキーワード
森北出版
翻訳 8 users- 統計 6 users
- 日本語 6 users
数学 5 users- フェルト 5 users
- 言語 4 users
- 効率 4 users
- 情報理論 3 users
- 確率 3 users
- ソフトウェア 3 users
- トレーニング 3 users
- 確率論 2 users
- 確率統計 2 users
- リフレ 2 users
- フリー ソフト 2 users
- ライブラリー 2 users
- 代数 2 users
- 理論 2 users
- コンピューター 2 users
- 開発 1 user
- 仕組み 1 user
- 支援 1 user
- プログラマ 1 user
- 効率化 1 user
- 協働 1 user
- r 統計 1 user
- あ 1 user
- 代数学 1 user
- 数学基礎論 1 user
- フリーソフト 1 user
- 色 1 user
- こつえー 1 user
- 情報 1 user
- フリー 0 user
[広告]
