書店で探す
書店で探す
書誌情報
この資料の詳細や典拠(同じ主題の資料を指すキーワード、著者名)等を確認できます。
- 資料種別
- 博士論文
- 著者・編者
- 戸次大介 [著]
- 著者標目
- 戸次, 大介 ベッキ, ダイスケ
- 出版事項
- 出版年月日等
- [2000]
- 出版年(W3CDTF)
- 2000
- 数量
- 1冊
- 並列タイトル等
- 構成的言語理論のための型付き動的論理 コウセイテキ ゲンゴ リロン ノ タメ ノ カタツキ ドウテキ ロンリ
- 授与機関名
- 東京大学
この資料の詳細や典拠(同じ主題の資料を指すキーワード、著者名)等を確認できます。