退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:时间相关逻辑作为并发系统动力学推理的逻辑基础
Jingde Cheng;
机译:PDT逻辑:多智能体系统中信念推理的概率时态逻辑
机译:并发系统的行为:逻辑与推理
机译:近似推理,自参考逻辑以及在系统建模中使用非经典逻辑
机译:在并发分离逻辑中推理权限区域
机译:并行程序模块推理的口吃闭合时态逻辑
机译:关于多状态自动机时间区间逻辑约束的实时系统的推理
机译:临时逻辑公式创建支持系统,临时逻辑公式创建支持方法和临时逻辑公式创建支持程序
机译:模糊逻辑方法在时间故障推理中的应用
机译:时间逻辑推理中的模糊逻辑方法及其在空运处理中的应用
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。