CASE STUDY IN AUTOMATED THEOREM PROVING: FINDING SAGES IN COMBINATORY LOGIC.

被引:0
|
作者
McCune, William [1 ]
Wos, Larry [1 ]
机构
[1] Argonne Natl Lab, Argonne, IL, USA, Argonne Natl Lab, Argonne, IL, USA
来源
| 1600年 / 03期
关键词
D O I
暂无
中图分类号
学科分类号
摘要
引用
收藏
相关论文
共 45 条
  • [1] Automated theorem proving in temporal logic. T-resolution
    Zhaokeng, Zhao
    Jun, Dai
    Wendan, Chen
    Journal of Computer Science and Technology, 1994, 9 (01)
  • [2] CHALLENGE PROBLEMS FOCUSING ON EQUALITY AND COMBINATORY-LOGIC - EVALUATING AUTOMATED THEOREM-PROVING PROGRAMS
    WOS, L
    MCCUNE, W
    LECTURE NOTES IN COMPUTER SCIENCE, 1988, 310 : 714 - 729
  • [3] Automated Theorem Proving in Temporal Logic:T-Resolution
    招兆铿
    戴军
    陈文丹
    Journal of Computer Science and Technology, 1994, (01) : 53 - 62
  • [4] Automated Theorem Proving for Assertions in Separation Logic with All Connectives
    Hou, Zhe
    Gore, Rajeev
    Tiu, Alwen
    AUTOMATED DEDUCTION - CADE-25, 2015, 9195 : 501 - 516
  • [5] AUTOMATED THEOREM-PROVING AND LOGIC PROGRAMMING - A NATURAL SYMBIOSIS
    WOS, L
    MCCUNE, W
    JOURNAL OF LOGIC PROGRAMMING, 1991, 11 (01): : 1 - 53
  • [6] Automatic Theorem Proving for Natural Logic: A Case Study on Textual Entailment
    Lavalle, Jesus
    Montes, Manuel
    Jimenez, Hector
    Villasenor, Luis
    Beltran, Beatriz
    COMPUTACION Y SISTEMAS, 2018, 22 (01): : 119 - 135
  • [7] Automated Theorem Finding by Forward Reasoning Based on Strong Relevant Logic: A Case Study in Graph Theory
    Gao, Hongbiao
    Goto, Yuichi
    Cheng, Jingde
    ADVANCED MULTIMEDIA AND UBIQUITOUS ENGINEERING: FUTURE INFORMATION TECHNOLOGY, 2015, 352 : 23 - 30
  • [8] Progress in the Development of Automated Theorem Proving for Higher-Order Logic
    Sutcliffe, Geoff
    Benzmueller, Christoph
    Brown, Chad E.
    Theiss, Frank
    AUTOMATED DEDUCTION - CADE-22, 2009, 5663 : 116 - +
  • [9] AUTOMATED SYNTHESIS OF COMBINATIONAL LOGIC USING THEOREM-PROVING TECHNIQUES
    KABAT, WC
    WOJCIK, AS
    IEEE TRANSACTIONS ON COMPUTERS, 1985, 34 (07) : 610 - 632
  • [10] Automated Theorem Finding by Forward Reasoning Based on Strong Relevant Logic: A Case Study in Tarski's Geometry
    Gao, Hongbiao
    Cheng, Jingde
    ADVANCED MULTIMEDIA AND UBIQUITOUS ENGINEERING: FUTURETECH & MUE, 2016, 393 : 55 - 61