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
- Adam Grabowski [著]
- Author Heading
- Adam Grabowski アダム グラボフスキ
- Publication, Distribution, etc.
- Publication Date
- 2005
- Publication Date (W3CDTF)
- 2005
- Extent
- 1冊
- Alternative Title
- 計算機援用の理論探求 : Mizarによる束論の形式化 ケイサンキ エンヨウ ノ リロン タンキュウ : Mizar ニ ヨル ソクロン ノ ケイシキカ
- Degree grantor/type
- 信州大学