机译:用约束处理规则(CHR)表示论证方案
机译:逻辑算法符合CHR:具有规则优先级的约束处理规则的元复杂性结果
机译:随着时间的流逝:约束处理规则:1998年至2007年对CHR研究的调查
机译:使用约束处理规则和数组约束归纳进行程序验证
机译:CHR(Curry):Curry中约束处理规则的解释和汇编
机译:以论证为代表的进化:对高中生物学教学实践中的推理和论证的定性研究。
机译:分层规则集的神经表示:人工控制系统表示规则而与它们所属的分层级别无关
机译:逻辑算法符合CHR:具有规则优先级的约束处理规则的元复杂性结果