文献
J-GLOBAL ID:201802241949391862
整理番号:18A1104546
K-DNF分解能に関するノート【JST・京大機械翻訳】
A note about k-DNF resolution
著者 (1件):
Lauria Massimo
(Dipartimento di Scienze Statistiche - Sapienza Universita di Roma, Italy)
資料名:
Information Processing Letters
(Information Processing Letters)
巻:
137
ページ:
33-39
発行年:
2018年
JST資料番号:
E0513A
ISSN:
0020-0190
資料種別:
逐次刊行物 (A)
記事区分:
短報
発行国:
オランダ (NLD)
言語:
英語 (EN)