退出
我的积分:
中文文献批量获取
外文文献批量获取
朱占奎;
机译:事实推理作为类比推理:对Tillers教授的“试验中证明的结构和逻辑”的评论
机译:近似推理和有限推理:语义,证明理论,表达性和控制
机译:可能的证明逻辑:关于证明不确定的信念的推理
机译:航空管理教育教育培训系统WKA-4发展 - 评估和证明医疗培训方法的有效性,这些方法回馈了培训师程序的定量信息
机译:关于网络推理问题和多智能体优化算法的新的和可证明的结果
机译:使用定理证明关于系统生物学的形式推理
机译:作为类比推理的事实推理:对教授分蘖的“审判证明的结构和逻辑”评论
机译:战斗机炸弹。巴黎 - 布尔歇航空展上的证明和新闻(abwurfwaffen fuer Kampfflugzeuge.Bewaehrtes und Neues auf der Luffahrtsstellung paris-Le Bourget)
机译:在可扩展逻辑推理系统中得出逻辑证明
机译:经济推理分析方法,经济推理分析设备,经济推理分析投票系统,经济推理分析程序,存储有经济推理分析程序的存储介质以及推理方法定量计算,融合法律推理分析方法和决策中的经济推理分析方法
机译:模糊推理规则的重排方法和装置,模糊推理规则的编码方法和装置,根据模糊推理规则的模糊推理处理方法和装置,规则的重排方法和装置,编码方法和装置的规则,规则的推理处理方法及装置
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。