退出
我的积分:
中文文献批量获取
外文文献批量获取
李斐; 张圣梅; 郭卉;
安徽财经大学统计与应用数学学院 安徽蚌埠 233030;
安徽财经大学会计学院 安徽蚌埠 233030;
可逆矩阵; 向量; 线性方程组; 初等矩阵; 线性空间与线性变换; 正定矩阵;
机译:命题图式的可判定性和不可判定性结果
机译:命题区间邻域逻辑:可表达性,可判定性和不可判定的扩展
机译:经典命题逻辑和直觉命题逻辑中变量的可判定性
机译:命题程序等价性判定的有效统一方法
机译:Jacobi矩阵的两个谱等价。
机译:基于用于结构和常规等价的预先定义的图像矩阵的一个和双模式块的整数程序
机译:命题区间邻域逻辑:表达性,可判定性和不可判定的扩展
机译:命题线性不等式判定程序的优化
机译:对象坐标系变换矩阵估计成败判定装置和对象坐标系变换矩阵估计成败判定方法及其程序。
机译:海洋无线电频道命题设备,海洋无线电频道命题计划和海洋无线电频道命题方法
机译:命题设备,命题系统,命题方法和程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。