Coq/SSReflect/MathCompによる定理証明
- 発売日: 2018年4月18日 水曜日 - 発売中
- 新刊発見日: 2018年03月02日
- (2024年04月18日 10時18分 JST時点)
在庫状況: メーカー取り寄せ
新刊チェックキーワード
- haskell 8 users
- 日本語 6 users
- 数学 5 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
- r 統計 1 user
- プログラマ 1 user
- 数学基礎論 1 user
- あ 1 user
- 開発 1 user
- 支援 1 user
- 協働 1 user
- 仕組み 1 user
- 色 1 user
- フリーソフト 1 user
- 情報 1 user
- こつえー 1 user
- 代数学 1 user
- フリー 0 user
[広告]