退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:在方程定理证明中使用地面可连接方程
Avenhaus J.; Hillenbrand Th.; Löchner B.;
机译:一种证明抽象Hammerstein方程存在性定理的新方法
机译:证明全部定理:液体Haskell中的等式推理(功能珍珠)
机译:Siddhataa:基于方程式推理的自动定理证明器
机译:半线性椭圆方程和Yamabe型方程的Liouville和Harnack型定理。
机译:关于一类包含二次加法泛函的泛函方程的稳定性的一个一般性定理
机译:关于一般微分方程的唯一性定理和双曲型偏微分方程的正定理
机译:控制爆震点以进行地面地震勘测-记录移动源产生的反射波,并优化近轴波传播方程的有理多项式近似系数,以将径向误差限制在理想和近似之间。方程式
机译:确定gps地面混合定位系统方程代数解的方法和装置
机译:确定地下水流动方向和速度方程的装置
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。