退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:事实推理作为类比推理:对Tillers教授的“试验中证明的结构和逻辑”的评论
机译:近似推理和有限推理:语义,证明理论,表达性和控制
机译:可能的证明逻辑:关于证明不确定的信念的推理
机译:Jahob系统中的综合推理和证明选择点选择-程序生存的机制
机译:分析拆分复数,复数复数和拆分四元数变量及其相关的保形几何形状。
机译:使用定理证明关于系统生物学的形式推理
机译:Jahob系统中的综合推理和证明选择点选择(计划生存机制)
机译:信息可生存性的综合推理框架(用户意图封装和入侵推理:实施和绩效评估)
机译:超市中个人出示的支付单位证明装置,具有读取器,用于读取身份证明文件中包含的标识符,以及用于恢复数据的恢复单元,其中以标识符进行证明的支付
机译:具有复数处理器的推理机的自动推理执行系统
机译:多重归宿证明通信系统,多重归宿证明通信方法和复数
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。