退出
我的积分:
中文文献批量获取
外文文献批量获取
刘晓兰;
宿迁学院文理学院;
实数; 确界原理; 单调有界原理; 数学归纳法;
机译:实数定理证明在PVS中的应用
机译:随机流无穷大处L〜1完备性与连续性的关系及一些应用
机译:定理证明和实数:概述和挑战
机译:半自动网络安全研究应用中虚拟现实数据可视化与用户界面设计的设计
机译:劳动的归纳法:归纳法方法和危险
机译:近似推理理论中的自动定理证明及其在逻辑程序设计和专家系统中的应用。
机译:提高燃气轮机发动机燃烧室中碳氢化合物燃料燃烧效率和完备性的方法
机译:调节逆变器三相电流测量中的放大误差的方法根据实数和虚数信号信号进行校正,并应用于测量信号
机译:用于处理数据序列流实数的时间的方法和装置,以及在代表视频图像的视频信号的处理中的应用]
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。