退出
我的积分:
中文文献批量获取
外文文献批量获取
王淑庆;
南京大学哲学系;
南京210023;
实践推理; 能动性; 能动性逻辑; 意向行动; 意向性因果;
机译:基于命题模态逻辑的形式化模糊推理系统和推理机制
机译:值的逻辑估计中的形式逻辑推理方法和曼达尼逼近
机译:逻辑感觉好吗?测试逻辑推理中的逻辑推理
机译:无线电形式物体及其状态识别问题的知识形式逻辑模型和逻辑推理程序
机译:超一致性和定理逻辑:带有规范冲突的推理形式系统。
机译:Logikey Workbench:语言逻辑组合和表现形式的道德和法律推理(Isabelle / HOL DataSet)
机译:通过过程中小学的教学与学习数学行为的教育实践 - 富裕:逻辑推理,数学智能,创造力/教育实践在小学的最后几年教学和学习数学行为中的教学和学习数学行为通过这个过程 - RICA:逻辑推理,数学智能,创造力和学习
机译:逻辑形式和几何内容对空间演绎推理的影响
机译:逻辑推理系统,计算学习装置及逻辑推理方法
机译:逻辑推理系统,计算学习装置和逻辑推理方法
机译:逻辑推理系统和逻辑推理方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。