文献
J-GLOBAL ID:200902166727188743
整理番号:93A0862292
後ろ向き推論の繰り返し 停止性,健全性,完全性が証明できる程度に単純な実用的推論手法に向けて
Backchain Iteration: Towards a Practical Inference Method That Is Simple Enough to Be Proved Terminating, Sound, and Complete.
著者 (1件):
WALKER A
(IBM Research Division, NY, USA)
資料名:
Journal of Automated Reasoning
(Journal of Automated Reasoning)
巻:
11
号:
1
ページ:
1-22
発行年:
1993年08月
JST資料番号:
D0269E
ISSN:
0168-7433
CODEN:
JAREEW
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
オランダ (NLD)
言語:
英語 (EN)