退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:定性时间定性推理:点代数和ORD-Horn类的算法
Gerevini Alfonso;
机译:时间推理的点代数:算法和复杂性
机译:代数IA(fuz):定性模糊时间推理框架
机译:时间约束的递减一致性检查:点代数和ORD-Horn类的算法
机译:具有约束的基于约束的时间推理算法。
机译:基于增量半监督支持向量机的分类算法
机译:解决艰苦的颞延长问题:评估使用ORD-HORN类的效率
机译:时空物理系统定性推理的方法和系统
机译:集成的定性/定量推理功能,具有增强的核心预测能力和扩展的测试程序,可使用定性物理机制来隔离机器故障
机译:物理系统演化确定方法,涉及处理相对于先前状态的代数表达的代数过程,以获得相对于后类的代数表达
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。