文献
J-GLOBAL ID:200902081937994526
整理番号:87A0087263
新しいハイパパラモジュレーション HL-導出の発見的手法と実験結果
The heuristics and experimental results of a new hyperparamodulation. HL-resolution.
著者 (1件):
LIM Y
(Electronics and Telecommunications Research Inst., Chungnam, KOR)
資料名:
Lecture Notes in Computer Science
(Lecture Notes in Computer Science)
巻:
230
ページ:
240-253
発行年:
1986年
JST資料番号:
H0078D
ISSN:
0302-9743
資料種別:
会議録 (C)
記事区分:
原著論文
発行国:
ドイツ (DEU)
言語:
英語 (EN)