关于 isabelle 的文章

这是关于 isabelle 标签的相关文章列表

学术报告 | 1月9日形式化方式系列讲座：Automated Theorem Proving

学术报告 | 1月9日形式化方式系列讲座：Automated Theorem Proving

浙江大学网络空间安全研究中心学术讲座Lawrence PaulsonDirector of Research, University of Cambridge时间2022 年 1...

admin /新鲜讯息 /2023-01-03 /0 评论 /252 阅读

学术报告 | 1月9日形式化方法系列讲座：Automated Theorem Proving

学术报告 | 1月9日形式化方法系列讲座：Automated Theorem Proving

浙江大学网络空间安全研究中心学术讲座Lawrence PaulsonDirector of Research, University of Cambridge时间2022 年 1...

admin /新鲜讯息 /2023-01-01 /0 评论 /249 阅读