文献

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)

タイトルに関連する用語 (5件)： 記事 ,  枠組み ,  命題 ,  仮説生成 ,  分類