退出
我的积分:
中文文献批量获取
外文文献批量获取
王朝旺; 任开隆;
北京联合大学基础部;
行列式; 归纳法; 余子式; 代数余子式;
机译:通过非单调归纳定义进行的有说服力的证明II:一阶算子
机译:关于矩阵项的行列式为行列式的猜想的证明
机译:PCF和PCF +的完全抽象模型的归纳定义和领域理论性质
机译:直观的Podelski-Rybalchenko定理和归纳定义与循环证明之间的等价关系
机译:情境演算:可判定性和基于非单调归纳定义逻辑的方法。
机译:关于有限因子的行列式和性质
机译:弱理理论的证明理论优势,阳性归纳定义
机译:W(sub 1+(infinity))代数的拟线性表示的性质和行列式
机译:行列式仓库的控制方法及行列式仓库的使用方法
机译:一种用于染发的非滴剂组合物的性质的证明方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。