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
- Takeshi Tsukada [著]
- Author Heading
- 塚田, 武志 ツカダ, タケシ
- Publication, Distribution, etc.
- Publication Date
- [2013]
- Publication Date (W3CDTF)
- 2013
- Extent
- 1冊
- Alternative Title
- 高階モデル検査のための共通型理論とゲーム意味論の統合 コウカイ モデル ケンサ ノ タメ ノ キョウツウガタ リロン ト ゲーム イミロン ノ トウゴウ
- Degree grantor/type
- 東北大学