退出
我的积分:
中文文献批量获取
外文文献批量获取
曲玉波; 黄仓;
无;
机译:近似推理和有限推理:语义,证明理论,表达性和控制
机译:用推论推理证明定理证明可满足性
机译:如果?是“说”,然后是“相信”?是什么?亚里士多德式的印度青少年类比推理任务的发展
机译:亚里士多德三段论框架内的量词推理分析
机译:除了Omniscient:对康德对亚里士多德有限推理概念的拒绝的解释和辩护。
机译:使用分层的单和双氢氧化物证明了正确的晶体化学和几何推理的重要性
机译:Nathanson的“老板”因素在合法化中的重要性 亚里士多德的特殊化:为什么我们需要修改当前的解释 Cantor's,Goedel's,Turing和Tarski的正式推理
机译:语义Web的开发 - 标记语言,Web服务,规则,解释,查询,证明和推理;最后的技术部门。 2000年6月至2008年4月
机译:混合故障推理和指导性故障排除系统,使用基于案例的推理和基于模型的推理
机译:在可扩展逻辑推理系统中得出逻辑证明
机译:经济推理分析方法,经济推理分析设备,经济推理分析投票系统,经济推理分析程序,存储有经济推理分析程序的存储介质以及推理方法定量计算,融合法律推理分析方法和决策中的经济推理分析方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。