WEKO3
アイテム / 単純型項書き換え系上の依存対法における実効規則と直積型項へのラベル付け / IEICE_J90D_4_978
IEICE_J90D_4_978
ファイル | ライセンス |
---|---|
IEICE_J90D_4_978.pdf (1.9 MB) sha256 25b2c705cc16e66d0f4fd6bd8632c08e6cb6a3ae912505bc873a4643b97adfa9 |
公開日 | 2009-02-13 | |||||
---|---|---|---|---|---|---|
ファイル名 | IEICE_J90D_4_978.pdf | |||||
本文URL | https://nagoya.repo.nii.ac.jp/record/9337/files/IEICE_J90D_4_978.pdf | |||||
ラベル | IEICE_J90D_4_978.pdf | |||||
オブジェクトタイプ | fulltext | |||||
フォーマット | application/pdf | |||||
サイズ | 1.9 MB |
Version | Date Modified | Object File Name | File Size | File Hash Value | Contributor Name | Show/Hide |
---|