退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:数学家欢迎电脑辅助证明
Castelvecchi Davide;
机译:丑陋的数学:为什么数学家不喜欢计算机辅助证明?
机译:在成为数学家的道路上:从事生活证明的观点
机译:面向切削面定理的计算机辅助发现和自动证明
机译:成为数学家:民族志对大学数学家文化产生的描述。
机译:演化生物学中数学家的冒险
机译:数学家想要什么? ud概率证明与数学家的认识论目标
机译:计算机辅助名称识别装置,计算机辅助名称识别方法和计算机辅助名称识别程序
机译:用于基于化学反应性和/或非反应性原料的制剂的计算机辅助测定染发种子的至少一种性质的方法和装置,用于计算机辅助的测定毛发种子的制剂的方法和装置基于化学反应性和/或非反应性原料的染发种子,以及用于计算机辅助训练预定模型的设备和方法,该预定模型用于基于化学制剂确定计算机辅助确定染发种子的至少一种特性反应性和/或不反应性原料
机译:计算机辅助名称识别系统,计算机辅助名称识别方法,计算机辅助名称识别程序及其记录介质
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。