退出
我的积分:
中文文献批量获取
外文文献批量获取
包雷晶;
华东理工大学 团委;
上海 200237;
爱国意识; 传播符号; 爱国主义教育;
机译:集成演绎验证和符号执行以在动态逻辑中创建抽象对象
机译:验证逻辑中的发现:在假设演绎演绎中故意出现,补充和替代归纳推理
机译:演绎法和色彩演绎法:通过教育游戏增强逻辑推理
机译:意识逻辑:基于Kripke的Reifetz-Meier-Schipper模型的演绎
机译:关于演绎主义:对非正式逻辑中演绎主义的批判性考察。
机译:滚动循环放大平台组装的阻遏器逻辑模块以构建一组逻辑门
机译:从法律解释和决策理论的角度看演绎逻辑
机译:从概念看实例演绎的逻辑描述。
机译:意识系统构建系统,意识系统构建方法和意识系统构建程序
机译:用于学习和构建符号和符号,测试逻辑,数学和心理,单独或与更多对手比赛的系统
机译:意识系统构建装置和意识系统构建程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。