退出
我的积分:
中文文献批量获取
外文文献批量获取
董裕华;
机译:事实推理作为类比推理:对Tillers教授的“试验中证明的结构和逻辑”的评论
机译:近似推理和有限推理:语义,证明理论,表达性和控制
机译:可能的证明逻辑:关于证明不确定的信念的推理
机译:根据形式证明生成单元测试
机译:关于网络推理问题和多智能体优化算法的新的和可证明的结果
机译:使用定理证明关于系统生物学的形式推理
机译:从形式证明生成单元测试
机译:语义Web的开发 - 标记语言,Web服务,规则,解释,查询,证明和推理;最后的技术部门。 2000年6月至2008年4月
机译:在可扩展逻辑推理系统中得出逻辑证明
机译:经济推理分析方法,经济推理分析设备,经济推理分析投票系统,经济推理分析程序,存储有经济推理分析程序的存储介质以及推理方法定量计算,融合法律推理分析方法和决策中的经济推理分析方法
机译:单元测试设备,单元测试方法和单元测试程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。