作者投稿和查稿 主编审稿 专家审稿 编委审稿 远程编辑

›› 1993, Vol. 19 ›› Issue (03): 40-45.

• 论文 • 上一篇    下一篇

COMPS连接法定理证明系统

缪淮扣,李迎豪,吴茂康   

  1. 上海科技大学
  • 发布日期:1993-06-25

COMPS CONNECTION METHOD SYSTEM FOR THEOREM PROVING

Mou Huaikou et al.   

  • Published:1993-06-25

摘要: 连接法是继归结法以后由Bibel W等人于80年代初提出的一种自动定量证明的方法.本文介绍了一个以PASCAL语言在IBM4361中型机上实现的COMPS连接法定理证明系统.*

关键词: 自动定理证明, 连接法, 矩阵

Abstract: Connection is a method for automated theorem proving devloped by Bibel W in the early cightics.This paper presents a connection method theorem prover COMPS implemented in PASCAL on IBM 4361 Computer.