退出
我的积分:
中文文献批量获取
外文文献批量获取
刘新; 邹丽;
中国系统工程学会;
直觉模糊逻辑; 时态算子; 直觉模糊; 时态命题;
机译:基于投影时态逻辑的原子块时态规划模型
机译:时态和语意形式的结合:论具有历史必要性和条件义务的时态逻辑的R_t方法
机译:时态和间隔时态逻辑
机译:动态时态逻辑和时态逻辑之间的桥梁
机译:使用时态逻辑功能增强行为接口规范语言。
机译:具有现实重言式的直觉模糊逻辑中的现代三段论方法
机译:用时态逻辑分析时态逻辑:一种基于区间的层次方法
机译:不使用时态逻辑验证时态属性
机译:实时数据的时态逻辑融合
机译:时态提议逻辑认证设备
机译:时态提议逻辑认证装置
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。