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
- Shingo Ibuka [著]
- Author Heading
- 井深, 真悟 イブカ, シンゴ
- Publication, Distribution, etc.
- Publication Date
- [2012]
- Publication Date (W3CDTF)
- 2012
- Extent
- 1冊
- Alternative Title
- 形式化された算術のアルゴリズム論的側面について ケイシキカサレタ サンジュツ ノ アルゴリズム ロンテキ ソクメン ニ ツイテ
- Degree grantor/type
- 神戸大学