WEKO3
アイテム
線形論理上の帰納推論
https://ipsj.ixsq.nii.ac.jp/records/239159
https://ipsj.ixsq.nii.ac.jp/records/23915927886ead-673d-4b2b-baf9-f6b359b03e9a
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
WPRO1997002.pdf (8.9 MB)
|
|
|
| オープンアクセス | ||
| Item type | Symposium(1) | |||||||||
|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 1997-01-08 | |||||||||
| タイトル | ||||||||||
| タイトル | 線形論理上の帰納推論 | |||||||||
| タイトル | ||||||||||
| 言語 | en | |||||||||
| タイトル | Induction in Linear Logic | |||||||||
| 言語 | ||||||||||
| 言語 | jpn | |||||||||
| 資源タイプ | ||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_5794 | |||||||||
| 資源タイプ | conference paper | |||||||||
| 著者所属 | ||||||||||
| 慶應義塾大学理工学研究科計算機科学専攻 | ||||||||||
| 著者所属 | ||||||||||
| 慶應義塾大学理工学研究科計算機科学専攻 | ||||||||||
| 著者所属(英) | ||||||||||
| en | ||||||||||
| Department of Computer Science, Keio University | ||||||||||
| 著者名 |
山口, 文彦
× 山口, 文彦
× 中西, 正和
|
|||||||||
| 著者名(英) |
Yamaguchi, Fumihiko
× Yamaguchi, Fumihiko
× Nakanishi, Masakazu
|
|||||||||
| 書誌情報 |
第38回プログラミング・シンポジウム報告集 巻 1997, p. 13-20, 発行日 1997-01-08 |
|||||||||
| 出版者 | ||||||||||
| 言語 | ja | |||||||||
| 出版者 | 情報処理学会 | |||||||||
