退出
我的积分:
中文文献批量获取
外文文献批量获取
姜燕君;
214200 江苏省宜兴中学;
机译:数学课堂中的共同权威:在整个教师轨迹中实施雄心勃勃的做法的成功和挑战
机译:计算机辅助设计和机器翻译中的演绎推导
机译:精彩演绎
机译:基于核心竞争力构建适应性学院数学课堂的思考
机译:身份代数:建立一个新的框架,以理解数学课堂中身份和参与的共同建构。
机译:半参数有效估计的演绎推导和图灵计算机化
机译:通过数学学习中的归纳法,演绎法和归纳演绎法建立思考高级数学的能力
机译:演绎数据库和逻辑编程:演绎数据库和基于知识的系统中的绑定。 ICLp'95联合研讨会的会议记录。 1995年6月17日在日本湘南村中心举行
机译:2或4个玩家的逻辑演绎和系统思考游戏
机译:与多个共同参与者共同思考
机译:递归推导的演绎法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。