退出
我的积分:
中文文献批量获取
外文文献批量获取
崔岩; 崔朝栋;
北华航天工业学院计算机学院;
中国建筑科学研究院建筑机械化研究分院 河北廊坊065000;
猜想; 自然数; 偶数; 奇数; 化整为零; 根树; 树叶; 损益; 序列值;
机译:猜想图表的猜想证明
机译:有限域上组合猜想的计算机辅助证明:一个国际象棋猜想的案例研究
机译:二项式的威尔猜想的三值家庭猜想的证明
机译:如何通过空间耦合证明麦克斯韦猜想-概念证明
机译:通过积分仿射几何证明Looijenga猜想的证明。
机译:乔治·安德鲁斯和大卫·罗宾斯的q-TSPP猜想的证明
机译:探索和证明猜想时数学家的榜样相关活动
机译:模型检验定理证明中的失败猜想:一个案例研究
机译:证明小腿的收缩不能增加脚踏上的压力和用于探索这一基本发现的机制
机译:时间证明装置,时间证明要求接受装置,时间证明方法,时间证明要求接受方法,时间证明程序,时间证明要求接受程序,时间证明确认程序以及程序记录介质
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。