·2,447,543篇论文数据，部分数据来源于NoteExpress
We have implemented a series of algorithm, which includes rule adornment, logic program adornment and factorization, magic transformation, factorizing magic transformation.
处理器中实现了本文中用到的一系列算法，其中包括：规则修饰、逻辑程序的修饰、魔集转换、逻辑程序的分解、分解的魔集转换。
youdao
应用推荐
模块上移
模块下移
不移动