退出
我的积分:
中文文献批量获取
外文文献批量获取
阿依登.木拉提汗; 波拉提.叶留斯孜;
数学问题; 逻辑学; 逻辑知识; 灵活应用;
机译:浅论数学课堂中的生活理念
机译:波兰逻辑学派对数学哲学的影响
机译:Nicolaas Govert de Bruijn(1918-2012)数学家,计算机科学家,逻辑学家
机译:逻辑领域的数学家的奇妙冒险:从卢卡西维奇-莫伊西尔逻辑学到计算机
机译:从数学构造性到计算机科学:艾伦·图灵,约翰·冯·纽曼和数学逻辑学中的计算机科学起源。
机译:浅论杂食的早期发生。
机译:浅论小学数学教学中的数学思维能力培养策略
机译:物理与工程专业学生逻辑学概论
机译:从逻辑学到逻辑学
机译:具有其中记录的数学表达输出程序的数学表达输出计算机,数学表达输出方法,数学表达输出程序以及计算机可读记录介质
机译:数学教育服务系统,数学教育服务终端,学生终端,提供数学问题的云计算服务设备,数学问题学习服务提供方法以及云计算服务提供方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。