WEKO3
アイテム
ファンクタSETUとSETSも扱う論理プログラムとその処理系について
http://hdl.handle.net/10228/4491
http://hdl.handle.net/10228/44916d90fa30-5a97-4157-bfed-a0a3496089b3
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
tech72_p9_16.pdf (1.6 MB)
|
|
| アイテムタイプ | 紀要論文 = Departmental Bulletin Paper(1) | |||||
|---|---|---|---|---|---|---|
| 公開日 | 2010-01-28 | |||||
| 資源タイプ | ||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||
| 資源タイプ | departmental bulletin paper | |||||
| タイトル | ||||||
| タイトル | ファンクタSETUとSETSも扱う論理プログラムとその処理系について | |||||
| 言語 | ja | |||||
| タイトル | ||||||
| タイトル | On Logic Programs with Functors SETU and SETS, and Their Theorem Prover | |||||
| 言語 | en | |||||
| 言語 | ||||||
| 言語 | jpn | |||||
| 著者 |
今本, 敦史
× 今本, 敦史× 酒井, 浩× 大隈, 彰道 |
|||||
| 書誌情報 |
九州工業大学研究報告. 工学 en : Bulletin of the Kyushu Institute of Technology. Science and technology 号 72, p. 9-16, 発行日 2000-03-01 |
|||||
| 出版者 | ||||||
| 出版者 | 九州工業大学工学部 | |||||
| ISSN | ||||||
| 収録物識別子タイプ | PISSN | |||||
| 収録物識別子 | 0453-0357 | |||||
| 版 | ||||||
| 出版タイプ | VoR | |||||
| 出版タイプResource | http://purl.org/coar/version/c_970fb48d4fbd8a85 | |||||
| 査読の有無 | ||||||
| 値 | no | |||||
