書店で探す
書店で探す
書誌情報
この資料の詳細や典拠(同じ主題の資料を指すキーワード、著者名)等を確認できます。
- 資料種別
- 博士論文
- 著者・編者
- Takeshi Tsukada [著]
- 著者標目
- 塚田, 武志 ツカダ, タケシ
- 出版年月日等
- [2013]
- 出版年(W3CDTF)
- 2013
- 数量
- 1冊
- 並列タイトル等
- 高階モデル検査のための共通型理論とゲーム意味論の統合 コウカイ モデル ケンサ ノ タメ ノ キョウツウガタ リロン ト ゲーム イミロン ノ トウゴウ
- 授与機関名
- 東北大学
この資料の詳細や典拠(同じ主題の資料を指すキーワード、著者名)等を確認できます。