退出
我的积分:
中文文献批量获取
外文文献批量获取
袁和玉;
江苏省南通市竹行小学,226311;
演绎; 数学课堂; 开发和利用; 数学教师; 产物; 学习; 学生; 文章;
机译:精彩演绎
机译:Godel Logic的超自然演绎-一种用于并行推理的自然演绎系统
机译:验证逻辑中的发现:在假设演绎演绎中故意出现,补充和替代归纳推理
机译:精彩的篮球比赛片段:用于本地化精彩动作的数据库
机译:数学中的确定性和错误:演绎论和数学易错论的主张(W. V. Quine,Imre Lakatos,Bertrand Russell)。
机译:通用性和演绎理性中对真理的假设结果的可能但错误的推理关系
机译:使用演绎验证的软件自动错误定位
机译:演绎数据库和逻辑编程:演绎数据库和基于知识的系统中的绑定。 ICLp'95联合研讨会的会议记录。 1995年6月17日在日本湘南村中心举行
机译:演绎系统,演绎设备,演绎方法和计算机程序
机译:用于网络错误诊断的基于模型的演绎系统。
机译:学习装置,周边区域演绎装置,学习方法,周边区域演绎方法和程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。