退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:程序终止验证的相关类型
机译:单线程和多线程程序的模块化终止验证
机译:验证有关高阶逻辑程序的终止和归约属性
机译:具有相关终止的多种类型复发事件的贝叶斯分析。
机译:终止人类步态的运动程序:组织和速度依赖性适应
机译:程序终止验证的相关类型∗
机译:自动程序验证IV:程序弱逻辑中的终止证明。
机译:对程序的批量时间认证请求,对记录介质的批量时间认证请求,以及对记录介质的验证装置,验证方法,验证程序和验证
机译:用于请求大容量时间认证的程序,用于请求大容量时间认证的记录介质以及验证装置,验证方法,验证程序和验证记录介质
机译:用于请求批量类型时间认证的程序,用于请求批量类型时间认证的记录介质,验证装置,验证方法,验证程序以及验证记录介质
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。