型理論に基づく高次推論処理に関する研究
インターネットで読む
すぐに読む
国立国会図書館デジタルコレクション
書店で探す
障害者向け資料で読む
目次
提供元：国立国会図書館デジタルコレクションヘルプページへのリンク
目次
p6
1 序論
p1
2 準備
p7
2.1 型付ラムダ計算とシークェント計算
p7
2.2 単一化とマッチング
p13
書店で探す
障害者向け資料で読む
- みなサーチ
- プレーンテキスト
みなサーチに登録・ログインで利用できます
書誌情報
この資料の詳細や典拠（同じ主題の資料を指すキーワード、著者名）等を確認できます。
- 資料種別
- 博士論文
- タイトルよみ
- カタ リロン ニ モトズク コウジ スイロン ショリ ニ カンスル ケンキュウ
- 著者・編者
- 山田敬三 [著]
- 著者標目
- 山田, 敬三 ヤマダ, ケイゾウ
- 出版事項
- 出版年月日等
- [2000]
- 出版年（W3CDTF）
- 2000
- 数量
- 1冊
- 授与機関名
- 九州工業大学