退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:关于presburger算术,非标准有限循环群和可定义的紧致性。
Vojdani, Somayeh.;
University of Notre Dame.;
机译:Presburger算术中可定义性的可定义准则及其应用
机译:普通算术模型中可定义的群体
机译:可在Peano算术模型中定义的非标准模型
机译:Presburger算法中可定义的关系的刻画
机译:Presburger算法的计算复杂性
机译:非标准有限差分方法用于解决复杂阶分数汉堡方程
机译:广义循环码有限域算法。第三卷。
机译:有限元算法程序,有限元算法装置和有限元算法
机译:有限域中定义多项式的余数算术单元
机译:有限域算术方法和有限域算术单元
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。