退出
我的积分:
中文文献批量获取
外文文献批量获取
余敏;
黄石理工学院数理学院;
集合; 第二类stirling数; 算法;
机译:逆共轭合成的几个恒等式
机译:涉及下降和上升阶乘以及柯西,拉赫和斯特林数的几个恒等式
机译:正式验证矩阵代数恒等式的证明
机译:连接编译器,证明检查器和基础证明代码的证明。
机译:一种新的递归算法用于计算详细的恒等式系数
机译:几个恒等式的几何证明
机译:结合符号计算和定理证明:Ramanujan的几个问题
机译:具有基于三角恒等式的幅度控制装置的正交振荡器
机译:“数据终端访问存储在电子设备,电子设备,数据终端和身份证明文件中的几个数据对象之一的过程”
机译:安排例如为了处理货物的转移,具有货架机构,该货架机构具有几个可用的货架,该货架具有货架标记或证明机构标记计划用于相应商品或货物档案的货架
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。