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 条

[31] First-Order Logic Theorem Proving and Model Building via Approximation and Instantiation
Teucke, Andreas
Weidenbach, Christoph
FRONTIERS OF COMBINING SYSTEMS, FROCOS 2015, 2015, 9322 : 85 - 100
[32] Machine Learning for First-Order Theorem Proving Learning to Select a Good Heuristic
Bridge, James P.
Holden, Sean B.
Paulson, Lawrence C.
JOURNAL OF AUTOMATED REASONING, 2014, 53 (02) : 141 - 172
[33] Clausal connection-based theorem proving in intuitionistic first-order logic
Otten, J
AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, 2005, 3702 : 245 - 261
[34] Special issue on advances in first-order theorem proving - Foreword of the guest editors
Bonacina, MP
Furbach, U
JOURNAL OF SYMBOLIC COMPUTATION, 2000, 29 (02) : 117 - 118
[35] The model evolution calculus as a first-order DPLL method
Baumgartner, Peter
Tinelli, Cesare
ARTIFICIAL INTELLIGENCE, 2008, 172 (4-5) : 591 - 632
[36] A First-Order Calculus for Allegories
Aameri, Bahar
Winter, Michael
RELATIONAL AND ALGEBRAIC METHODS IN COMPUTER SCIENCE, 2011, 6663 : 74 - 91
[37] FIRST-ORDER REGGE CALCULUS
BARRETT, JW
CLASSICAL AND QUANTUM GRAVITY, 1994, 11 (11) : 2723 - 2730
[38] Preface to First order theorem proving
Baumgartner, P
Zhang, H
JOURNAL OF SYMBOLIC COMPUTATION, 2003, 36 (1-2) : 1 - 3
[39] Boolean-like and frequentistic nonstandard semantics for first-order predicate calculus without functions
I. Kramosil
Soft Computing, 2001, 5 (1) : 45 - 57
[40] On A New Semantics for First-Order Predicate Logic
Andreka, Hajnal
van Benthem, Johan
Nemeti, Istvan
JOURNAL OF PHILOSOPHICAL LOGIC, 2017, 46 (03) : 259 - 267

← 1 2 3 4 5 →