计算机应用与软件2007，Vol.24Issue(8)：14-16,43,4.
定理证明辅助工具Isabelle剖析与应用
ANALYSIS AND APPLICATION OF THEOREM-PROVING AIDING TOOLS——ISABELLE
摘要
关键词
逻辑系统/定理证明器/形式化方法分类
信息技术与安全科学引用本文复制引用
郭慧梅,缪淮扣,陈怡海..定理证明辅助工具Isabelle剖析与应用[J].计算机应用与软件,2007,24(8):14-16,43,4.基金项目
国家自然科学基金项目(60373072,60673115),上海市教委科技发展基金(05AZ70). （60373072,60673115）
