文献
J-GLOBAL ID:201202269617624954
整理番号:12A1002468
デフォルト論理のフラグメントに対する推論の複雑度
The complexity of reasoning for fragments of default logic
著者 (4件):
BEYERSDORFF Olaf
(Gottfried Wilhelm Leibniz Univ., Hannover, DEU)
,
MEIER Arne
(Gottfried Wilhelm Leibniz Univ., Hannover, DEU)
,
THOMAS Michael
(Gottfried Wilhelm Leibniz Univ., Hannover, DEU)
,
VOLLMER Heribert
(Gottfried Wilhelm Leibniz Univ., Hannover, DEU)
資料名:
Journal of Logic and Computation
(Journal of Logic and Computation)
巻:
22
号:
3
ページ:
587-604
発行年:
2012年06月
JST資料番号:
W1693A
ISSN:
0955-792X
資料種別:
逐次刊行物 (A)
発行国:
イギリス (GBR)
言語:
英語 (EN)