退出
我的积分:
中文文献批量获取
外文文献批量获取
侯章林; 何林李;
温州大学物理与电子信息工程学院,浙江温州325035;
厄米算符本征函数; 反证法 ; 完备性 ; 一般证明;
机译:保守形式的Sturm-Liouville算子本征函数完备性的有限差分证明
机译:不连续Sturm-Liouville问题本征函数的完备性
机译:本征函数边界线的完备性
机译:用理论解释证明模型类的一致性和完备性
机译:连接编译器,证明检查器和基础证明代码的证明。
机译:可计算性哥德尔不完备性定理以及进化可预测性的固有限制
机译:与滞后泛函微分方程有关的本征函数的完备性和F-完备性
机译:基于跟踪的网络证明系统的完备性和不完备性
机译:时间证明装置,时间证明要求接受装置,时间证明方法,时间证明要求接受方法,时间证明程序,时间证明要求接受程序,时间证明确认程序以及程序记录介质
机译:炸药爆轰完备性估算方法及其实现方法
机译:提高燃气轮机发动机燃烧室中碳氢化合物燃料燃烧效率和完备性的方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。