退出
我的积分:
中文文献批量获取
外文文献批量获取
廖学余;
实数连续性; 单圈; 等价性; 界点; 存在定理; 有限复盖定理; 柯西收敛准则; 开区间; 实数分割; 聚点定理;
机译:通过单圈实数部分的值估计代数多项式B平面
机译:克里斯汀·雷德克(Christine Redecker)。维特根斯坦的数学哲学:对康托无数实数证明的批评退出后的重估。 [维特根斯坦的数学哲学:从康托对实数不可数证明的批判开始的重新评估]。
机译:学生对数学证明和命题证明的证明计划
机译:关于类型理论中某些形式无法证明的命题和原型证明的证明
机译:命题证明复杂性的算法应用。
机译:通过声发射和模式识别方法在单圈剪切和单圈剪切铆接CFRP接头中损伤传播分析
机译:实数和连续性理论:在Philip Ehrlich编辑的书上/ 实数和连续性理论:在Philip Ehrlich编辑的书上 i>
机译:凹面优化方法与d'agostino表格在命题逻辑中的等价性
机译:实现单无线电语音呼叫连续性的方法,支持单无线电语音呼叫连续性的系统和支持单无线电语音呼叫连续性的增强型移动交换中心(emsc)
机译:从命题逻辑证明满意公式的密码学方法
机译:通过命题逻辑证明可满足公式的密码学方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。