Remainder method for the mechanical theorem proving in first-order predicate calculus

被引：0

|

作者：

Wu, Jinzhao

Liu, Zhuojun

机构：

来源：

Jisuanji Xuebao/Chinese Journal of Computers | 1996年 / 19卷 / 10期

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

收藏

页码：728 / 734

相关论文

共 50 条

[21] EXPERIMENTS WITH A HEURISTIC THEOREM-PROVING PROGRAM FOR PREDICATE CALCULUS WITH EQUALITY
NORTON, LM
ARTIFICIAL INTELLIGENCE, 1971, 2 (3-4) : 261 - 284
[22] On first-order theorem proving using generalized odd-superpositions Ⅱ
吴尽昭
刘卓军
Science in China(Series E:Technological Sciences), 1996, (06) : 608 - 619
[23] Well-Behaved Inference Rules for First-Order Theorem Proving
Jinzhao Wu
Zhuojun Liu
Journal of Automated Reasoning, 1998, 21 : 381 - 400
[24] Well-behaved inference rules for first-order theorem proving
Wu, JZ
Liu, ZJ
JOURNAL OF AUTOMATED REASONING, 1998, 21 (03) : 381 - 400
[25] A Deep Reinforcement Learning Approach to First-Order Logic Theorem Proving
Crouse, Maxwell
Abdelaziz, Ibrahim
Makni, Bassem
Whitehead, Spencer
Cornelio, Cristina
Kapanipathi, Pavan
Srinivas, Kavitha
Thost, Veronika
Witbrock, Michael
Fokoue, Achille
THIRTY-FIFTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, THIRTY-THIRD CONFERENCE ON INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE AND THE ELEVENTH SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, 2021, 35 : 6279 - 6287
[26] The resolution method for the first-order predicate logic with interpreted predicates
Nigiyan, SA
DOKLADY AKADEMII NAUK, 1998, 359 (02) : 168 - 170
[27] Completeness of two systems of illative combinatory logic for first-order propositional and predicate calculus
Dekkers, W
Bunder, M
Barendregt, H
ARCHIVE FOR MATHEMATICAL LOGIC, 1998, 37 (5-6) : 327 - 341
[28] Model checking for first-order predicate ambient logic based on μ-calculus with partial orders
Jiang H.
Jisuanji Xuebao/Chinese Journal of Computers, 2016, 39 (12): : 2547 - 2561
[29] Completeness of two systems of illative combinatory logic for first-order propositional and predicate calculus
Wil Dekkers
Martin Bunder
Henk Barendregt
Archive for Mathematical Logic, 1998, 37 : 327 - 341
[30] Completeness of two systems of illative combinatory logic for first-order propositional and predicate calculus
Arch Math Logic, 5-6 (327):

← 1 2 3 4 5 →