退出
我的积分:
中文文献批量获取
外文文献批量获取
吉智深;
如皋高等师范学校,江苏如皋226500;
小学数学教学; 演绎推理; 理解偏差; 证明; 标准修订工作; 合情推理; 数学课程; 大学史;
机译:小学数学合理推理的渗透
机译:游戏中的教育体验背景:支持小学数学的新兴推理
机译:修订小学数学统计课程的建议-从培养“统计推理能力”的角度考虑与初中合作-
机译:证据推理的一种新的区间证明规则推理方法
机译:关于网络推理问题和多智能体优化算法的新的和可证明的结果
机译:使用定理证明关于系统生物学的形式推理
机译:求解小学数学问题的学生推理技巧分类
机译:语义Web的开发 - 标记语言,Web服务,规则,解释,查询,证明和推理;最后的技术部门。 2000年6月至2008年4月
机译:在可扩展逻辑推理系统中得出逻辑证明
机译:经济推理分析方法,经济推理分析设备,经济推理分析投票系统,经济推理分析程序,存储有经济推理分析程序的存储介质以及推理方法定量计算,融合法律推理分析方法和决策中的经济推理分析方法
机译:一种检测和减少智能虚拟助手中可理解偏差的系统
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。