書店で探す
書店で探す
書誌情報
この資料の詳細や典拠（同じ主題の資料を指すキーワード、著者名）等を確認できます。
- 資料種別
- 博士論文
- タイトルよみ
- イッカイ ヨウソウ ミュー ケイサン ノ カンゼンセイ ト アンテイセイ リロン ニ カンスル ケッカ
- 著者・編者
- 岡本圭史 [著]
- 著者標目
- 岡本, 圭史 オカモト, ケイシ
- 出版事項
- 出版年月日等
- [2008]
- 出版年（W3CDTF）
- 2008
- 数量
- 1冊
- 並列タイトル等
- Completeness of first-order modal μ-calculus and some results on stability theory