書店で探す
書店で探す
書誌情報
この資料の詳細や典拠(同じ主題の資料を指すキーワード、著者名)等を確認できます。
- 資料種別
- 博士論文
- 著者・編者
- 大隈ひとみ [著]
- 著者標目
- 大隈, ひとみ オオクマ, ヒトミ
- 出版事項
- 出版年月日等
- 2003
- 出版年(W3CDTF)
- 2003
- 数量
- 1冊
- 並列タイトル等
- デデキント圏における関係属性モデルの拡張順序従属性に関する完全性定理 デデキントケン ニ オケル カンケイ ゾクセイ モデル ノ カクチョウ ジュンジョ ジュウゾクセイ ニ カンスル カンゼンセイ テイリ
- 授与機関名
- 九州大学