退出
我的积分:
中文文献批量获取
外文文献批量获取
任子朝;
机译:科学探究的补充框架:假设演绎,假设演绎和观察归纳
机译:验证逻辑中的发现:在假设演绎演绎中故意出现,补充和替代归纳推理
机译:陈述在工程中的归纳演绎归纳方法中的作用:从材料力学的角度
机译:关于计算符号学中作为基本推理算子的广义演绎,归纳和绑架
机译:推理技能(归纳,归纳,演绎)对全球Web上的业务信息检索的影响。
机译:回到微生物世界的性质:从Meta-Omics中的描述和归纳推理到演绎研究
机译:一种用于命题$ \ mu $ -calculus的自然演绎风格证明系统 它在归纳型理论中的形式化
机译:演绎数据库和逻辑编程:演绎数据库和基于知识的系统中的绑定。 ICLp'95联合研讨会的会议记录。 1995年6月17日在日本湘南村中心举行
机译:演绎推理系统,用于响应来自多个系统传感器的信号来解决复杂的命题逻辑问题
机译:用于获得命题逻辑表示的规则的归纳推理方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。