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
- Koki Nishizawa [著]
- Author Heading
- 西澤, 弘毅 ニシザワ, コウキ
- Publication, Distribution, etc.
- Publication Date
- [2006]
- Publication Date (W3CDTF)
- 2006
- Extent
- 1冊
- Alternative Title
- 様相不動点論理と抽象解釈のための代数構造 ヨウソウ フドウテン ロンリ ト チュウショウ カイシャク ノ タメ ノ ダイスウ コウゾウ
- Degree grantor/type
- 東京大学