退出
我的积分:
中文文献批量获取
外文文献批量获取
数学定理; 数学证明; 美国数学; 斐波纳契数列; 斐波那契数; 黄金分割数; 大时; 几何平均值; 参考答案; 综合练习;
机译:纯粹数学定理可以证明是正确的,但应用数学,自然科学和社会科学以及工程学中使用的模型最多只能“尚未证明是错误的”。
机译:计算机科学思想在数学定理和证明表达中的应用
机译:不需要专家证明即可证明地震勘探爆炸了受损的水井
机译:使用进化算法和证明助手自动证明数学定理
机译:社交网站中用于语言学习的语言,学习和身份证明:以busuu为例。
机译:秀丽隐杆线虫角质层胶原的体外诱变鉴定出潜在的枯草杆菌蛋白酶样蛋白酶切割位点并证明羧基域二硫键对于正常功能是必需的但不需要组装。
机译:用进化算法自动证明数学定理 和证明助理
机译:为什么我们不需要量子行星动力学,也不需要退相干和混沌系统的对应原理
机译:在不需要的情况下发出证明文件的方法和装置
机译:时间证明装置,时间证明要求接受装置,时间证明方法,时间证明要求接受方法,时间证明程序,时间证明要求接受程序,时间证明确认程序以及程序记录介质
机译:在模态逻辑证明模型中检查自然语言的方法和系统
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。