退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:用一阶定理普通的推出计划分析
?Robillard, Simon;
Chalmers Tekniska Hogskola (Sweden);
机译:使用定理秘密公主进行嵌入式装配计划的实时安全性能的演绎验证
机译:一阶程序设计的基于实例化的定理证明
机译:基于标准矛盾分离的一阶逻辑整体演绎框架定理证明
机译:并行化交互式定理证明:使用ACL2进行函数式编程和证明。
机译:演绎推理脑网络:一种基于坐标的演绎推理中神经签名的荟萃分析
机译:使用自动定理证明器证明底层程序的资源消耗
机译:自动证明信息处理定理的方法和装置
机译:在系统分析中检查命题逻辑定理的方法和装置
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。