線形論理上の帰納推論
| dc.contributor.author | Yamaguchi, Fumihiko / 山口, 文彦 | en_US |
| dc.date.accessioned | 2014-05-09T07:06:37Z | |
| dc.date.available | 2014-05-09T07:06:37Z | |
| dc.date.issued | 2001-09-21 | en_US |
| dc.description | 博士 (工学), 2001年度, 計算機科学専攻 | en_US |
| dc.identifier.uri | http://iroha.scitech.lib.keio.ac.jp:8080/sigma/handle/10721/1726 | |
| dc.language | jpn | en_US |
| dc.publisher | 慶應義塾大学理工学研究科 | en_US |
| dc.title | 線形論理上の帰納推論 | en_US |
| dc.title.alternative | Induction in Linear Logic | en_US |
| dc.type | 学位論文 | en_US |