文献
J-GLOBAL ID:201202298486850171
整理番号:12A1615225
記事の枠組みの中での命題仮説生成の複雑分類
Complexity Classifications for Propositional Abduction in Post’s Framework
著者 (3件):
CREIGNOU Nadia
(Aix-Marseille Univ., Marseille, FRA)
,
SCHMIDT Johannes
(Aix-Marseille Univ., Marseille, FRA)
,
THOMAS Michael
(TWT GmbH, Neuhausen auf den Fildern, DEU)
資料名:
Journal of Logic and Computation
(Journal of Logic and Computation)
巻:
22
号:
5
ページ:
1145-1170
発行年:
2012年10月
JST資料番号:
W1693A
ISSN:
0955-792X
資料種別:
逐次刊行物 (A)
発行国:
イギリス (GBR)
言語:
英語 (EN)