退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:通过重用机器检查的正确性证明来证明信息流非干扰
Daniel Wasserrab; Denis Lohner;
机译:机器检查的糕点正确性证明
机译:Fred:一种从证明生成真实,正确,可重用程序的方法
机译:在GCD域上的分数算法的机器检查证明
机译:用于条件信息流的机器检查证明的证书基础结构
机译:并行化交互式定理证明:使用ACL2进行函数式编程和证明。
机译:校正流量的时间已校正的流量时间
机译:使用迹线证明无干扰和功能正确
机译:使用痕迹证明无干扰和功能正确性。
机译:认证程序乘车证明系统,乘车证明系统的乘车方式,证明装置,乘车证明装置的方式
机译:用于校正流量计证明数据中的瞬时流量误差的方法,装置和计算机介质
机译:校正流量计校验数据中瞬时流量误差的方法,装置和计算机介质
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。