退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:重写生产规则集的语义
Katelman Michael; Keller Sean; Meseguer José;
机译:使用自动定理证明器验证断言语言重写规则和语义
机译:可能答案集程序的语义:不确定规则与结论不确定的规则
机译:重写生产规则系统的语义:理论和应用
机译:规则诱导数据集与设定值属性
机译:使用增强决策表和语义归类技术的规则集缩减:应用于胆固醇指南。
机译:弯曲规则:走向语义丰富的图形重写规则的步骤
机译:重写规则机器。重写规则机的计算模型
机译:将PSL的简单子集转换为SERE蕴涵公式,以使用语义保留重写规则通过模型检查和仿真引擎进行验证
机译:使用语义保留重写规则将PSL的简单子集转换为用于模型检验和模拟引擎验证的隐含公式
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。