WEKO3
アイテム
CNF充足可能性問題の現実的解放
https://ipsj.ixsq.nii.ac.jp/records/32089
https://ipsj.ixsq.nii.ac.jp/records/32089896c1a73-9eec-4322-b8c8-500452e909a1
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-AL00073001.pdf (9.3 kB)
|
Copyright (c) 2000 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | SIG Technical Reports(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 2000-05-19 | |||||||
| タイトル | ||||||||
| タイトル | CNF充足可能性問題の現実的解放 | |||||||
| 言語 | ||||||||
| 言語 | jpn | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_18gh | |||||||
| 資源タイプ | technical report | |||||||
| 著者所属 | ||||||||
| 京都大学 | ||||||||
| 著者名 |
岩間一雄
× 岩間一雄
|
|||||||
| 書誌レコードID | ||||||||
| 収録物識別子タイプ | NCID | |||||||
| 収録物識別子 | AN1009593X | |||||||
| 書誌情報 |
情報処理学会研究報告アルゴリズム（AL） 巻 2000, 号 41(2000-AL-073), p. 1, 発行日 2000-05-19 |
|||||||
| Notice | ||||||||
| SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc. | ||||||||
| 出版者 | ||||||||
| 言語 | ja | |||||||
| 出版者 | 情報処理学会 | |||||||
