退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:使用区间时间逻辑和天麸罗的成分推理
机译:RGITL:用于交错程序的组合推理的时间逻辑框架
机译:区间时间逻辑中的快速推理
机译:具有间隔时间逻辑的集成电路的功能和时序的推理
机译:用于高级时间推理的区间逻辑
机译:使用时间间隔逻辑指定分布式程序。
机译:Logikey Workbench:语言逻辑组合和表现形式的道德和法律推理(Isabelle / HOL DataSet)
机译:区间时间逻辑推理 - 新前沿
机译:关于多状态自动机时间区间逻辑约束的实时系统的推理
机译:模糊逻辑方法在时间故障推理中的应用
机译:时间逻辑推理中的模糊逻辑方法及其在空运处理中的应用
机译:用户友好型系统,使用时间逻辑,数值和概率约束来对时间间隔内的事件进行复杂的排序,优化和建模(也适用于灾难性事件)
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。