坂間,千秋: "Partial Deduction of Disjunctive Logic Programs" 4th Int′l Workshop on Logic Program Synthesis and Trans formation. 1-13 (1994)
坂間,千秋: "Partial Deduction of Disjunctive Logic Programs" 4th Int′l Workshop on Logic Program Synthesis and Trans formation. 1-13 (1994)
复制标题
Sakama, Chiaki:“析取逻辑程序的部分演绎”第四届逻辑程序综合与转换国际研讨会 1-13 (1994)。
DOI:
--
复制
发表时间:
--
期刊:
影响因子:
--
通讯作者:
中科院分区:
文献类型:
--
作者: