退出
我的积分:
中文文献批量获取
外文文献批量获取
宋立彤;
不详;
抽象分析; 逻辑程序; 并扩性分析; 编译系统;
机译:基于抽象解释方法的变量关联分析及其在数据路径优化中的应用
机译:基于抽象解释方法的变量交互分析及其在数据路径优化中的应用
机译:局部紧半群上广义函数的抽象调和分析及其在不变式上的应用
机译:Prolog中的抽象数据类型支持及其与并行性的关系
机译:抽象主成分分析及其在模型还原中的应用。
机译:应用非侵入性技术估算冠脉强度分析及其在运动生理学中的应用
机译:坡度变异性分析及其在矿山规划中的应用坡度变异性分析及其在矿山规划中的应用
机译:并发prolog比较语义中的一致抽象,原子性和收缩性
机译:自动回归分析及其在水分析中的应用
机译:自动化回归分析及其在水分析中的应用
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。