退出
我的积分:
中文文献批量获取
外文文献批量获取
张孟娟1; 金瑾2;
[1]贵州工程应用技术学院理学院,贵州毕节551700;
[2]贵州工程应用技术学院毕节循环经济研究院,贵州毕节551700;
Lebesgue积分 Riemann积分 极限;
机译:交互式定理证明者Matita中Lebesgue占优收敛定理的建设性和形式化证明
机译:σ类上Lebesgue积分的单调收敛定理的新证明
机译:互动定理证明者Matita证明了勒贝格的主导收敛定理的建设性和形式化证明
机译:高阶PD〜α型迭代学习控制及其LEBESGUE-P常规收敛
机译:对自动定理证明和形式方法以及对控制系统的应用做出了贡献。
机译:Heine-Borel-Lebesgue定理成立的最普通的Fréchet类L
机译:Banach格中的Lebesgue型收敛定理及其在紧算子上的应用
机译:Blaschke-Lebesgue定理的最优控制公式
机译:用于定理证明的设备和方法,但不披露导致定理的文件
机译:勾股定理证明的新方法
机译:毕达哥拉斯定理证明难题
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。