|国家科技期刊平台
| 注册
首页|期刊导航|计算机工程|一阶逻辑中基于稳定度的项评估方法

一阶逻辑中基于稳定度的项评估方法

钟建 徐扬 陈树伟 何星星

计算机工程2019，Vol.45Issue(11)：183-190,197,9.
✕
计算机工程2019，Vol.45Issue(11)：183-190,197,9.DOI:10.19678/j.issn.1000-3428.0054368

一阶逻辑中基于稳定度的项评估方法

Stability-based Term Evaluation Method in First-order Logic

钟建 1徐扬 2陈树伟 2何星星3

作者信息

  • 1. 西南交通大学信息科学与技术学院,成都611756
  • 2. 西南交通大学系统可信性自动验证国家地方联合工程实验室,成都611756
  • 3. 西南交通大学数学学院,成都611756
  • 折叠

摘要

关键词

一阶逻辑/自动定理证明器/项评估/启发式策略/Herbrand语义特征

分类

航空航天

引用本文复制引用

钟建,徐扬,陈树伟,何星星..一阶逻辑中基于稳定度的项评估方法[J].计算机工程,2019,45(11):183-190,197,9.

基金项目

国家自然科学基金(61673320) （61673320）

中央高校基本科研业务费专项资金(2682018ZT10,2682018CX59). （2682018ZT10,2682018CX59）

计算机工程

OA北大核心CSCDCSTPCD

1000-3428

访问量0
|
下载量0
段落导航相关论文