退出
我的积分:
中文文献批量获取
外文文献批量获取
几何定理; 归纳; 演绎; 证明; 阅读时间; 课外阅读; 伏尔泰; 选择性;
机译:自动几何定理证明和发现的演绎数据库方法
机译:归纳算术论证与演绎代数证明之间的关系
机译:验证逻辑中的发现:在假设演绎演绎中故意出现,补充和替代归纳推理
机译:自动归纳推理在归纳定理证明的用户独立自动化中作为演绎推理的支持
机译:不同证明策略对学习几何定理证明的影响。
机译:回到微生物世界的性质:从Meta-Omics中的描述和归纳推理到演绎研究
机译:能用举例子的方法来证明几何定理吗?
机译:模型驱动的几何定理证明。
机译:使用演绎推理和归纳推理进行情境感知的设备和方法
机译:内容分类系统混合演绎分组与归纳和节目记录介质组成的系统和方法
机译:使用装有超导磁体的陀螺从盐(海水)中提取新鲜水,超导磁体在存在特定电磁波的超导持久位置中运行,并且水分子能很好地响应和举例说明。
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。