退出
我的积分:
中文文献批量获取
外文文献批量获取
朱维军; 张海宾; 周清雷;
西安电子科技大学计算机学院,陕西西安,710071;
郑州大学信息工程学院,河南郑州,450052;
模型检查; 离散时间区间时序逻辑; 时间正则图; 可满足性判定;
机译:命题区间邻域逻辑:可表达性,可判定性和不可判定的扩展
机译:在原型验证系统中构建度量区间时序逻辑公式的时间自动机
机译:区间上正弦核的Fredholm判定的渐近性。
机译:线性时序逻辑的广义可满足性的复杂性
机译:学生对置信区间解释的概念化和信心水平:识别置信区间学生概念图像的相似性和差异
机译:区间离散和无限分布时变时滞的离散时间递归神经网络的时滞相关状态估计器设计
机译:命题区间邻域逻辑:表达性,可判定性和不可判定的扩展
机译:扩展区间时序逻辑和时态逻辑程序设计的成帧技术
机译:开闭区间捏合判定装置,具备该装置的车辆以及开闭区间捏合判定方法
机译:故障区间判定装置及故障区间判定方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。