退出
我的积分:
中文文献批量获取
外文文献批量获取
游晓明; 刘升;
湖北师范学院计算机科学系;
循环不变式; 囿界函数; 程序的正确性;
机译:自动生成带有函数调用的程序的非线性循环不变式
机译:基于随机测试,约束求解和验证的函数生成等式循环不变式
机译:通过多人游戏合成循环不变式。
机译:不连续函数的一些新的弱奇异延迟积分不等式的未知函数的显式界及其应用
机译:试论我国高校在当代体育发展中的地位和作用
机译:关于单位循环中的一类正则和有界的函数
机译:通过防止形成拓扑紧密阶段和控制晶界变形的新镍基超合金的研制
机译:干重氮研制装置中的氨循环过程
机译:硫的制备方法和从熔融浴中研制的硫磺中所述的另一种经研制的硫磺。
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。