退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:适当强迫公理在Peano算法模型中的应用
Gitman, Victoria;
City University of New York;
机译:具有Skolem公理的经典Peano算法的交互式可实现性
机译:强制保留N-2或N-3的名词的正确和半正确的强迫轴
机译:适当的强制公理
机译:正确的正交分解降阶建模在地下水监测网实验设计中的实用改进及应用
机译:梯度模镜模型:材料特性和作用力如何影响应力的变形和分布
机译:计算peano算法非标准模型中的问题及其在群体中的应用
机译:模拟信号[n i Sub>] f(2 n Sup>)和[m i Sub>] f的位置参数求和的逻辑-动态过程的方法(2 n Sup>)与三元数系统f(+ 1,0,-1)的算术公理的应用和模拟信号[S j Sub>] f的结果和的生成位置格式中的(2 n Sup>)(俄语)
机译:上一个求和器f Σ Sub>([n i Sub>]&[n i Sub>,0])的函数结构,条件为“ i”和“ i + 1”乘方[n i Sub>] f(2 n Sup”的位置参数的并行系列乘数f Σ Sub>(Σ)的“ k”组的数字>)在三元数系统f(+ 1,0,-1)的算术公理中的应用(俄罗斯逻辑版本)
机译:中央热力和中央热力的操作方法已投入应用。
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。