学術雑誌論文 Characterization of Logic Program Revision as an Extension of Propositional Revision

シュインド, ニコラ  ,  Schwind, Nicolas  ,  井上, 克巳  ,  Inoue, Katsumi

16 ( No. 1 )  , pp.111 - 138 , 2016-01 , Cambridge University Press , Cambridge University Press

このアイテムのアクセス数:  回

その他の情報