|国家科技期刊平台
| 注册
首页|期刊导航|计算机工程与科学|一个用于一阶逻辑自动定理证明的新算法

一个用于一阶逻辑自动定理证明的新算法

陈勇浩

计算机工程与科学Issue(3)：P.1-9,9.
✕
计算机工程与科学Issue(3)：P.1-9,9.

一个用于一阶逻辑自动定理证明的新算法

陈勇浩1

作者信息

  • 1. 西安交通大学
  • 折叠

摘要

关键词

一阶逻辑/自动定理证明/算法

分类

信息技术与安全科学

引用本文复制引用

陈勇浩..一个用于一阶逻辑自动定理证明的新算法[J].计算机工程与科学,1993,(3):P.1-9,9.

计算机工程与科学

1007-130X

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