退出
我的积分:
中文文献批量获取
外文文献批量获取
朱惠英;
浙江省上虞市百官小学;
312352;
用字母表示数; 演绎; 名师; 追踪; 案例; 整合; 优质课评比; 绍兴市;
机译:走向经典的经典自然演绎系统
机译:关于多值和模糊逻辑中的经典真理和经典演绎性的保留
机译:Godel Logic的超自然演绎-一种用于并行推理的自然演绎系统
机译:演绎检索与演绎综合的整合
机译:关于演绎主义:对非正式逻辑中演绎主义的批判性考察。
机译:演绎推理脑网络:一种基于坐标的演绎推理中神经签名的荟萃分析
机译:自动认知逻辑若干片段的可追踪演绎
机译:演绎系统,演绎设备,演绎方法和计算机程序
机译:学习装置,周边区域演绎装置,学习方法,周边区域演绎方法和程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。