Search by Bookstore
Search by Bookstore
Bibliographic Record
You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.
- Material Type
- 博士論文
- Author/Editor
- Zhang Bo [著]
- Author Heading
- 張, 波 チョウ, ハ
- Publication, Distribution, etc.
- Publication Date
- [2007]
- Publication Date (W3CDTF)
- 2007
- Extent
- 1冊
- Alternative Title
- Mizarにおける情報理論のための確率行列とエントロピー関数の定式化 Mizar ニ オケル ジョウホウ リロン ノ タメ ノ カクリツ ギョウレツ ト エントロピー カンスウ ノ テイシキカ
- Degree grantor/type
- 信州大学