文献
J-GLOBAL ID:200902120662911230 整理番号:93A1006305
ビット列を用いた節集合のリネーミング法
Renaming Methods for Set of Clauses Using Bit Sequences.
出版者サイト
複写サービスで全文入手
{{ this.onShowCLink("http://jdream3.com/copy/?sid=JGLOBAL&noSystem=1&documentNoArray=93A1006305©=1") }}
高度な検索・分析はJDreamⅢで
{{ this.onShowJLink("http://jdream3.com/lp/jglobal/index.html?docNo=93A1006305&from=J-GLOBAL&jstjournalNo=L0197A") }}
著者 (1件):
西岡弘明
西岡弘明 について
名寄せID(JGPN) 201550000069643216 ですべてを検索
「西岡弘明」ですべてを検索
(
奈良女大 理
)
奈良女大 理 について
名寄せID(JGON) 201551000096835910 ですべてを検索
「奈良女大 理」ですべてを検索
機関情報を見る
資料名:
電子情報通信学会論文誌 D-2 (IEICE Transactions on Information and Systems, Pt.2 (Japanese Edition))
電子情報通信学会論文誌 D-2 について
JST資料番号 L0197A ですべてを検索
ISSN,ISBN,CODENですべてを検索
資料情報を見る
巻:
76
号:
11
ページ:
2384-2390
発行年:
1993年11月
JST資料番号:
L0197A
ISSN:
0915-1923
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
日本 (JPN)
言語:
日本語 (JA)
抄録/ポイント:
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
従来,節集合をHorn節集合に変換するリネーミングは発見的手...
シソーラス用語:
シソーラス用語/準シソーラス用語
文献のテーマを表すキーワードです。
部分表示の続きはJDreamⅢ(有料)でご覧いただけます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
Horn節
Horn節 について
「Horn節」ですべてを検索
この用語の用語情報を見る
,...
続きはJDreamIII(有料)にて
{{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=93A1006305&from=J-GLOBAL&jstjournalNo=L0197A") }}
分類 (1件):
分類
JSTが定めた文献の分類名称とコードです
人工知能
(JE08000Z)
人工知能 について
分類コード JE08000Z で文献を検索
分類コード4桁 JE08 で文献を検索
引用文献 (8件):
CHANG, C. L. Symbolic Logic and Mechanical Theorem Proving. 1973
LOVELAND, D. W. Automated Theorem Proving : A Logical Basis. 1978
KUEHNER, D. Some Special Purpose Resolution Systems. Machine Intelligence. 1972, 7, 117-128
HENSCHEN, L. Unit refutations and Horn sets. J. Assoc. Comput. Mach. 1974, 21, 4, 590-605
西岡弘明. 0-1計画法を用いた節集合の簡約法. 信学論(D). 1984, J67-D, 11, 1317-1324
もっと見る
タイトルに関連する用語 (2件):
タイトルに関連する用語
J-GLOBALで独自に切り出した文献タイトルの用語をもとにしたキーワードです
節
節 について
「節」ですべてを検索
この用語の用語情報を見る
,
集合
集合 について
「集合」ですべてを検索
この用語の用語情報を見る
前のページに戻る
TOP
BOTTOM