K.Iwanuma,M.Harao,S.Noguchi: "Reconsideration of Pointwise Circumscription,Transformation of Non‐Recursive Predicate Circumscription into First‐Order Sentences" International eonference on Info.Japan. 351-356 (1990)
K.Iwanuma,M.Harao,S.Noguchi: "Reconsideration of Pointwise Circumscription,Transformation of Non‐Recursive Predicate Circumscription into First‐Order Sentences" International eonference on Info.Japan. 351-356 (1990)
复制标题
K.Iwanuma、M.Harao、S.Noguchi：“点式限制的重新考虑，非递归谓词限制到一阶句子的转换”Info.Japan 国际会议 351-356 (1990)。
DOI：
--
复制
发表时间：
--
期刊：
影响因子：
--
通讯作者：
中科院分区：
文献类型：
--
作者：
