科研证明
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
蒋尉;
中国社科院城市发展与环境研究所;
机译:Godel Logic的超自然演绎-一种用于并行推理的自然演绎系统
机译:验证逻辑中的发现:在假设演绎演绎中故意出现,补充和替代归纳推理
机译:在推理核心:解离演绎和非演绎负荷
机译:基于大数据的中国环境规制的实证分析
机译:关于演绎主义:对非正式逻辑中演绎主义的批判性考察。
机译:演绎推理脑网络:一种基于坐标的演绎推理中神经签名的荟萃分析
机译:构建基于三重底线的绿色供应链:欧盟与美国的环境规制比较
机译:演绎数据库和逻辑编程:演绎数据库和基于知识的系统中的绑定。 ICLp'95联合研讨会的会议记录。 1995年6月17日在日本湘南村中心举行
机译:合成方法,结晶形式4- {3- [CIS-己基环戊二烯[C]吡咯2(1H)IL]的替代物}苯甲酰胺盐酸盐和药物组合物,AE-TUR-JI /欧盟/欧盟/欧盟/欧盟/欧盟/欧盟/欧洲/欧洲/欧洲/欧洲/欧洲。
机译:演绎系统,演绎设备,演绎方法和计算机程序
机译:Y203:欧盟的亮度降低了,欧盟的重量百分比有所提高
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。