文献
J-GLOBAL ID:201102289154879889
整理番号:11A1287235
MSP包含のための新しいデフォルト理論のコンパイレーション
A New Default Theories Compilation for MSP-Entailment
著者 (8件):
BENFERHAT Salem
(Univ. Lille-Nord de France, Artois, 62307, Lens, FRA)
,
BENFERHAT Salem
(CRIL, 62307, Lens, FRA)
,
BENFERHAT Salem
(CNRS UMR 8188, 62307, Lens, FRA)
,
YAHI Safa
(Univ. Lille-Nord de France, Artois, 62307, Lens, FRA)
,
YAHI Safa
(CRIL, 62307, Lens, FRA)
,
YAHI Safa
(CNRS UMR 8188, 62307, Lens, FRA)
,
YAHI Safa
(Ecole nationale Superieure d’Informatique, BP 68M, 16270, Oued-Smar, Algiers, DZA)
,
DRIAS Habiba
(Univ. des Sciences et de la Technol. Houari Boumediene, BP 32 El Alia 16111 Bab Ezzouar, Algiers, DZA)
資料名:
Journal of Automated Reasoning
(Journal of Automated Reasoning)
巻:
45
号:
1
ページ:
39-59
発行年:
2010年06月
JST資料番号:
D0269E
ISSN:
0168-7433
CODEN:
JAREEW
資料種別:
逐次刊行物 (A)
発行国:
オランダ (NLD)
言語:
英語 (EN)