退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:通过定理证明生成验证条件
John Matthews; J Strother Moore; Ip Ray; Daron Vroon;
机译:通过原型验证系统的交互式定理证明来验证非线性控制的安全特性
机译:Herbrand定理的一种改进及其在模型生成定理证明中的应用
机译:通过定理证明进行数据模型验证。
机译:自动合成流式细胞仪数据可视化的定理证明方法
机译:集成形式验证:使用自动抽象模型检查,不变生成和定理证明
机译:使用自动定理证明器回答两个开放问题的有限模型和反例的生成和验证
机译:使用有效定理证明进行设计验证
机译:利用有效定理证明进行设计验证
机译:自动证明信息处理定理的方法和装置
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。