文献
J-GLOBAL ID:200902189014173207
整理番号:94A0020528
Equality and abductive residua for Horn clauses.
著者 (3件):
KNILL E
(Technical Univ. Nova Scotia, Nova Scotia, CAN)
,
COX P T
(Technical Univ. Nova Scotia, Nova Scotia, CAN)
,
PIETRZYKOWSKI T
(Technical Univ. Nova Scotia, Nova Scotia, CAN)
資料名:
Theoretical Computer Science
(Theoretical Computer Science)
巻:
120
号:
1
ページ:
1-44
発行年:
1993年11月08日
JST資料番号:
T0022A
ISSN:
0304-3975
CODEN:
TCSDIQ
資料種別:
逐次刊行物 (A)
発行国:
オランダ (NLD)
言語:
英語 (EN)