退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:线性不等式系统的完整线性证明
Spira P.M.;
机译:减少证明:解决整数上线性不等式的完整实用技术
机译:线性弹性化的另一种方法以及Korn不等式的新证明
机译:非线性系统的线性和线性矩阵 - 不等式约束状态估计
机译:线性逻辑,证明几何和完全完整性的一种分类方法。
机译:非线性微分形式的非整数部分的一个不等式猜想的证明
机译:基于证明搜索方法的线性逻辑完整性证明(初步报告)(类型理论及其在计算机系统中的应用)
机译:关于线性不等式系统完全线性证明的spira定理。
机译:解决线性不等式系统的方法和装置
机译:线性不等式系统的优化求解装置
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。