退出
我的积分:
中文文献批量获取
外文文献批量获取
张清凉;
福建省晋江市梅岭街道岭山小学;
思辨; 自发纠错; 体验;
机译:精彩演绎
机译:验证逻辑中的发现:在假设演绎演绎中故意出现,补充和替代归纳推理
机译:Godel Logic的超自然演绎-一种用于并行推理的自然演绎系统
机译:多重结论自然演绎的错误方式的重构
机译:数学中的确定性和错误:演绎论和数学易错论的主张(W. V. Quine,Imre Lakatos,Bertrand Russell)。
机译:通用性和演绎理性中对真理的假设结果的可能但错误的推理关系
机译:巧用信息技术,让科学课堂的导入更精彩
机译:演绎数据库和逻辑编程:演绎数据库和基于知识的系统中的绑定。 ICLp'95联合研讨会的会议记录。 1995年6月17日在日本湘南村中心举行
机译:演绎系统,演绎设备,演绎方法和计算机程序
机译:用于网络错误诊断的基于模型的演绎系统。
机译:欺诈演绎系统,欺诈演绎方法,和程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。