退出
我的积分:
中文文献批量获取
外文文献批量获取
周永峰;
江苏省苏州吴县中学 215151;
机译:归纳推理计算的不完整性的证明
机译:归纳与证明:通过模式化活动引入代数推理的挑战
机译:关于归纳定理证明的逻辑基础的一些观察
机译:自动归纳推理在归纳定理证明的用户独立自动化中作为演绎推理的支持
机译:计算逻辑系统中的自动生成和使用示例(人工智能,定理证明,形式推理)。
机译:观察性研究Rigor不能证明因果推理的合理性
机译:在证明性环境中执行隐式归纳推理
机译:近似推理理论中的自动定理证明及其在逻辑程序设计和专家系统中的应用。
机译:交付证明系统,交付证明系统中的服务器,交付证明方法和交付处理程序证明
机译:时间证明装置,时间证明要求接受装置,时间证明方法,时间证明要求接受方法,时间证明程序,时间证明要求接受程序,时间证明确认程序以及程序记录介质
机译:位置证明设备,时间证明设备,位置证明设备,时间证明设备,位置证明系统和程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。