退出
我的积分:
中文文献批量获取
外文文献批量获取
张少芳; 李冀东;
石家庄邮电职业技术学院,石家庄050021;
Lebesgue积分; PVS; 形式化; 反相积分器;
机译:交互式定理证明者Matita中Lebesgue占优收敛定理的建设性和形式化证明
机译:PVS的形式化以证明Dolev-Yao级联协议模型的安全性所必需的平衡属性
机译:验证混合系统:PVS中的形式化和证明规则
机译:利用光谱反射区分在马铃薯中的氮气缺乏分化的PVY感染
机译:横观各向同性厚壁圆筒的倒塌压力分析-基于Lebesgue应变测量和过渡理论
机译:pVs定理证明中积分微积分的形式化
机译:基于K-PARTITE GRAPH的形式化特征用于临床数据分析中的复杂表型和疾病预后的预测
机译:在IPv6邻居发现中使用基于证明的方法建立IPv6邻居的信任关系
机译:鱼源核酸基于模式识别的证明
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。