文献
J-GLOBAL ID:200902117765801954
整理番号:94A0172406
Lマッチ 集合インスタンシエーションをインクリメンタルに精ち化するための推論規則
L-match: An Inference Rule for Incrementally Elaborating Set Instantiations.
著者 (2件):
BAILIN S C
(CTA Inc., Maryland, USA)
,
BARKER-PLUMMER D
(Swarthmore Coll., Pennsylvania, USA)
資料名:
Journal of Automated Reasoning
(Journal of Automated Reasoning)
巻:
11
号:
3
ページ:
391-428
発行年:
1993年12月
JST資料番号:
D0269E
ISSN:
0168-7433
CODEN:
JAREEW
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
オランダ (NLD)
言語:
英語 (EN)