退出
我的积分:
中文文献批量获取
外文文献批量获取
殷红霞;
江苏省丹阳市华南实验学校,212300;
代数证明; 中考复习; 推理; 考查知识; 证明问题; 综合运用; 能力水平; 逻辑思维;
机译:归纳与证明:通过模式化活动引入代数推理的挑战
机译:在移动增强现实学习环境中,学生对特定于背景的认识性认识理由,先验知识,参与和社会科学推理
机译:高中代数与证明:以代数证明为例
机译:代数和非代数语句的有效零知识证明及其在隐私保护凭证中的应用
机译:后代数系统和后代数:一个明显的事实的证明=后代数系统和后代数:一个明显的事实的证明
机译:认识到学生的科学推理:一种在询问中教学期间对推理复杂性进行分类的工具
机译:认识自己,认识世界——谈中国崛起中的“影响力”与“责任感”
机译:近似推理理论中的自动定理证明及其在逻辑程序设计和专家系统中的应用。
机译:经济推理分析方法,经济推理分析设备,经济推理分析投票系统,经济推理分析程序,存储有经济推理分析程序的存储介质以及推理方法定量计算,融合法律推理分析方法和决策中的经济推理分析方法
机译:证明多项式代数运算的方法和装置
机译:基于Hooji代数原理的多值非逻辑两阶段连接方法,基于Hooji代数原理的多值非逻辑,偶数逻辑两阶段连接方法,基于Hooji代数的多值双逻辑两步连接方法代数,基于Hooji代数原理的多值偶数逻辑和非逻辑两阶段连接方法,基于Hooji代数原理的多值逻辑补全电路,多值缓冲回路以及用于输入的折线
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。