Resolution theorem proving: A logical point of view

被引：0

|

作者：

Leitsch, A ^{[1
]}

机构：

[1] Vienna Univ Technol, A-1040 Vienna, Austria

来源：

LOGIC COLLOQUIM 01, PROCEEDINGS | 2005年 / 20卷

关键词：

D O I：

暂无

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

收藏

页码：3 / 42

页数：40

相关论文

共 50 条

[1] Logical errors on proving theorem
Sari, C. K.
Waluyo, M.
Ainur, C. M.
Darmaningsih, E. N.
[J]. 1ST INTERNATIONAL CONFERENCE OF EDUCATION ON SCIENCES, TECHNOLOGY, ENGINEERING, AND MATHEMATICS (ICE-STEM), 2018, 948
[2] Theorem proving in technology transfer: The user's point of view
Giunchiglia F.
Traverso P.
[J]. International Journal on Software Tools for Technology Transfer, 2000, 3 (1) : 1 - 12
[3] RESOLUTION THEOREM-PROVING
STICKEL, ME
[J]. ANNUAL REVIEW OF COMPUTER SCIENCE, 1988, 3 : 285 - 316
[4] Theorem proving by chain resolution
Dehornoy, P
Marzouk, A
[J]. THEORETICAL COMPUTER SCIENCE, 1998, 206 (1-2) : 163 - 180
[5] ANALYTIC RESOLUTION IN THEOREM PROVING
BRAND, D
[J]. ARTIFICIAL INTELLIGENCE, 1976, 7 (04) : 285 - 318
[6] A logical point of view
Mike Grace
[J]. British Dental Journal, 2003, 195 : 229 - 229
[7] A logical point of view
Grace, M
[J]. BRITISH DENTAL JOURNAL, 2003, 195 (05) : 229 - 229
[8] SOME OBSERVATIONS ON THE LOGICAL FOUNDATIONS OF INDUCTIVE THEOREM PROVING
Hetzl, Stefan
Wong, Tin Lok
[J]. LOGICAL METHODS IN COMPUTER SCIENCE, 2017, 13 (04)
[9] THEOREM-PROVING WITH RESOLUTION AND SUPERPOSITION
RUSINOWITCH, M
[J]. JOURNAL OF SYMBOLIC COMPUTATION, 1991, 11 (1-2) : 21 - 49
[10] NON-RESOLUTION THEOREM PROVING
BLEDSOE, WW
[J]. ARTIFICIAL INTELLIGENCE, 1977, 9 (01) : 1 - 35

← 1 2 3 4 5 →