文献
J-GLOBAL ID:200902176265876326
整理番号:94A0204863
無限プロローグのための深度有界の推論
Depth-bounded inference for nonterminating prologs.
著者 (1件):
ARIMURA H
(Kyushu Inst. Technology, Iizuka, JPN)
資料名:
Bulletin of Informatics and Cybernetics
(Bulletin of Informatics and Cybernetics)
巻:
25
号:
3/4
ページ:
125-136
発行年:
1993年03月
JST資料番号:
L1047A
ISSN:
0286-522X
資料種別:
逐次刊行物 (A)
発行国:
日本 (JPN)
言語:
英語 (EN)