退出
我的积分:
中文文献批量获取
外文文献批量获取
袁权; 黄孟阳; 曹吉星;
西华大学 土木建筑与环境学院 四川 成都 610039;
理论力学; 点的合成运动; 平面运动; 直角坐标系法; 矢量;
机译:布鲁克斯定理和卡特林定理的统一证明
机译:Bridges和De Witte定理以及有限线性空间基本定理的统一证明
机译:使用快速直角坐标法的层次状态估计(电力系统分析计算)
机译:有界刚性E统一的定理证明
机译:模型检查和定理证明:一个统一的框架。
机译:环境流行病学中的位置;直角坐标法。
机译:证明规划在合作定理证明中的运用
机译:结合符号计算和定理证明:Ramanujan的几个问题
机译:用于定理证明的设备和方法,但不披露导致定理的文件
机译:使用毕达哥拉斯定理的直角标记装置,其绳索以3:4:5的间距连接环
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。