搜索到 篇“ 自动定理证明 “的相关文章

相关作者

孙吉贵
作品数：209被引量：2,257H指数：18
供职机构：吉林大学计算机科学与技术学院
研究主题：人工智能 TABLEAU 模态逻辑 约束满足问题 粒子群算法
缪淮扣
作品数：154被引量：509H指数：12
供职机构：上海大学计算机工程与科学学院
研究主题：测试用例 WEB应用 Z规格说明 软件开发 OBJECT-Z
李兆鹏
作品数：26被引量：68H指数：4
供职机构：中国科学技术大学软件学院
研究主题：HOARE逻辑 出具证明编译器 指针逻辑 循环不变式 自动定理证明
陈意云
作品数：133被引量：647H指数：16
供职机构：中国科学技术大学计算机科学与技术学院
研究主题：HOARE逻辑 指针逻辑 代码迷惑 出具证明编译器 面向对象
刘全
作品数：253被引量：1,228H指数：14
供职机构：苏州大学
研究主题：光栅 TABLEAU 离子束刻蚀 全息 闪耀光栅