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 条
  • [11] Automated theorem proving in support of computer algebra: Symbolic definite integration as a case study
    Adams, AA
    Gottliebsen, H
    Linton, SA
    Martin, U
    ISSAC 99: PROCEEDINGS OF THE 1999 INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND ALGEBRAIC COMPUTATION, 1999, : 253 - 260
  • [12] Multi-agent systems inspired by artificial chemistries: A case study in automated theorem proving
    Busch, J
    Banzhaf, W
    FOURTH INTERNATIONAL CONFERENCE ON MULTIAGENT SYSTEMS, PROCEEDINGS, 2000, : 371 - 372
  • [13] Automated theorem proving for many-sorted free description theory based on logic translation
    Nakamatsu, K
    Suzuki, A
    ADVANCES IN LOGIC, ARTIFICIAL INTELLIGENCE AND ROBOTICS, 2002, 85 : 17 - 28
  • [14] AUTOMATED DESIGN OF MULTIPLE-VALUED LOGIC-CIRCUITS BY AUTOMATIC THEOREM-PROVING TECHNIQUES
    WOJCIECHOWSKI, WS
    WOJCIK, AS
    IEEE TRANSACTIONS ON COMPUTERS, 1983, 32 (09) : 785 - 798
  • [15] Application of Multi-Clause Synergized Deduction in First-Order Logic Automated Theorem Proving
    Cao F.
    Xu Y.
    Chen S.
    Wu G.
    Chang W.
    Xinan Jiaotong Daxue Xuebao/Journal of Southwest Jiaotong University, 2020, 55 (02): : 401 - 408and427
  • [16] Development of environmental quality indexes based on fuzzy logic. A case study
    Peche, Roberto
    Rodriguez, Esther
    ECOLOGICAL INDICATORS, 2012, 23 : 555 - 565
  • [17] Trusted Theorem Proving: A Case Study in SLD-Resolution
    Arkoudas, Konstantine
    Shivers, Olin
    LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION, PROCEEDINGS, 2008, 17 : 782 - 796
  • [18] Problem solving with interactive theorem-proving - a case study
    Jaishy, Shivashish
    Ito, Nobuhiro
    Kawabe, Yoshinobu
    2016 4TH INTL CONF ON APPLIED COMPUTING AND INFORMATION TECHNOLOGY/3RD INTL CONF ON COMPUTATIONAL SCIENCE/INTELLIGENCE AND APPLIED INFORMATICS/1ST INTL CONF ON BIG DATA, CLOUD COMPUTING, DATA SCIENCE & ENGINEERING (ACIT-CSII-BCD), 2016, : 301 - 306
  • [19] SKILLS ANALYSIS IN AN ENGINEERING DEGREE USING FUZZY LOGIC. A CASE STUDY
    Camara-Zapata, J. M.
    Puerto-Molina, H.
    Brotons, J. M.
    14TH INTERNATIONAL TECHNOLOGY, EDUCATION AND DEVELOPMENT CONFERENCE (INTED2020), 2020, : 1124 - 1131
  • [20] Automated theorem proving in first-order logic module: On the difference between type theory and set theory
    Dowek, G
    AUTOMATED DEDUCTION IN CLASSICAL AND NON-CLASSICAL LOGICS, 2000, 1761 : 1 - 22
12345