退出
我的积分:
中文文献批量获取
外文文献批量获取
桂晓宇;
浙江义乌中学;
习题课; 讲题; 说题; 双边教学;
机译:梵文数学课本中样本问题和演绎推理的新理论方法
机译:演绎和非演绎推理的数学模型
机译:数学教育家对数学学习在发展演绎推理中的作用的看法
机译:数学中的计算机演绎和(形式)证明
机译:数学中的确定性和错误:演绎论和数学易错论的主张(W. V. Quine,Imre Lakatos,Bertrand Russell)。
机译:优化的伽马同步增强演绎推理过程中数学天赋青少年的额顶皮质的功能结合。
机译:通过数学学习中的归纳法,演绎法和归纳演绎法建立思考高级数学的能力
机译:演绎数据库和逻辑编程:演绎数据库和基于知识的系统中的绑定。 ICLp'95联合研讨会的会议记录。 1995年6月17日在日本湘南村中心举行
机译:一种促进数学和几何学教学的设备,可用于逻辑推理和演绎中的教与学
机译:演绎系统,演绎设备,演绎方法和计算机程序
机译:学习装置,周边区域演绎装置,学习方法,周边区域演绎方法和程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。