WEKO3
インデックスリンク
アイテム
演繹推論の高コストルール対処法及び仮説推論の高速矛盾処理に関する研究
http://hdl.handle.net/2297/16115
http://hdl.handle.net/2297/161157fb72d00-5e25-42ee-9dbd-3d71d2549021
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
NA-TH-226-45-50.pdf (329.9 kB)
|
|
| Item type | その他 / Others(1) | |||||
|---|---|---|---|---|---|---|
| 公開日 | 2017-10-05 | |||||
| タイトル | ||||||
| タイトル | 演繹推論の高コストルール対処法及び仮説推論の高速矛盾処理に関する研究 | |||||
| 言語 | ||||||
| 言語 | jpn | |||||
| 資源タイプ | ||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_1843 | |||||
| 資源タイプ | other | |||||
| 著者 |
阿部, 武彦
× 阿部, 武彦 |
|||||
| 著者別名 | ||||||
| 値 | Abe, Takehiko | |||||
| 書誌情報 |
博士学位論文要旨 論文内容の要旨および論文審査結果の要旨／金沢大学大学院自然科学研究科 巻 平成10年6月, p. 45-50, 発行日 1998-06-01 |
|||||
| その他の識別子 | ||||||
| 内容記述タイプ | Other | |||||
| 内容記述 | 000000316784 | |||||
| 出版者 | ||||||
| 出版者 | 金沢大学 | |||||
| 内容記述 | ||||||
| 内容記述タイプ | Other | |||||
| 内容記述 | 取得学位：博士(学術)，学位授与番号：博甲第226号，学位授与年月日：平成9年9月30日,学位授与年：1997 | |||||
| 著者版フラグ | ||||||
| 出版タイプ | VoR | |||||
| 出版タイプResource | http://purl.org/coar/version/c_970fb48d4fbd8a85 | |||||
