退出
我的积分:
中文文献批量获取
外文文献批量获取
张长春; 侯双印;
不详;
幂函数; 定义域; 连续; 求导公式;
机译:命题可证明逻辑中公式系统超弱完整性的检测算法
机译:Rothblum稳定匹配公式的基本完整性证明
机译:二阶Darboux Wronskian公式的完整性证明
机译:用于连续随机声音信号相对于固定电平的总交叉时间的方差公式的证明
机译:通过自动证明进行规定性安全检查,以实现控制流完整性。
机译:遗传编程...公式...证明搜索...公式...自动改进
机译:Rothblum稳定匹配的初等完整性证明 公式
机译:arakelov几何中Lefschetz类型的不动点公式I:陈述和证明
机译:基于属性的证明系统使用零知识证明来证明配备TPM的计算设备的完整性,而不会公开配置
机译:用于远程证明,OS部署服务器,证明目标设备和用于更新操作系统和完整性信息的方法的系统
机译:证明组件的完整性证明
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。