共 45 条
- [4] Automated Theorem Proving for Assertions in Separation Logic with All Connectives AUTOMATED DEDUCTION - CADE-25, 2015, 9195 : 501 - 516
- [5] AUTOMATED THEOREM-PROVING AND LOGIC PROGRAMMING - A NATURAL SYMBIOSIS JOURNAL OF LOGIC PROGRAMMING, 1991, 11 (01): : 1 - 53
- [6] Automatic Theorem Proving for Natural Logic: A Case Study on Textual Entailment 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 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 AUTOMATED DEDUCTION - CADE-22, 2009, 5663 : 116 - +
- [10] Automated Theorem Finding by Forward Reasoning Based on Strong Relevant Logic: A Case Study in Tarski's Geometry ADVANCED MULTIMEDIA AND UBIQUITOUS ENGINEERING: FUTURETECH & MUE, 2016, 393 : 55 - 61