A PARALLEL APPROACH FOR THEOREM-PROVING IN PROPOSITIONAL LOGIC

被引：5

|

作者：

CHEN, WT

LIU, LL

机构：

来源：

INFORMATION SCIENCES | 1987年 / 41卷 / 01期

关键词：

D O I：

10.1016/0020-0255(87)90005-3

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

收藏

页码：61 / 76

页数：16

相关论文

共 50 条

[1] AN EFFICIENT PROCEDURE FOR THEOREM-PROVING IN PROPOSITIONAL LOGIC ON VECTOR COMPUTERS
CHEN, WT
FANG, MY
[J]. PARALLEL COMPUTING, 1991, 17 (09) : 983 - 995
[2] VECTORIZATION OF A GENERALIZED PROCEDURE FOR THEOREM-PROVING IN PROPOSITIONAL LOGIC ON VECTOR COMPUTERS
FANG, MY
CHEN, WT
[J]. IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, 1992, 4 (05) : 475 - 486
[3] A CONSTANT-TIME ALGORITHM FOR THEOREM-PROVING IN PROPOSITIONAL LOGIC ON RECONFIGURABLE MESHES
PRADEEP, B
MURTHY, CSR
[J]. INFORMATION SCIENCES, 1995, 85 (1-3) : 175 - 184
[4] THEOREM-PROVING FOR INTENSIONAL LOGIC
RAMSAY, A
[J]. JOURNAL OF AUTOMATED REASONING, 1995, 14 (02) : 237 - 255
[5] Optical vector logic theorem-proving
Westphal, J
Caulfield, J
Hardy, J
Qian, L
[J]. Proceedings of the 8th Joint Conference on Information Sciences, Vols 1-3, 2005, : 1323 - 1326
[6] PARALLEL THEOREM-PROVING WITH CONNECTION GRAPHS
LOGANANTHARAJ, R
MUELLER, RA
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1986, 230 : 337 - 352
[7] AN APPROACH TO ANALOGICAL THEOREM-PROVING
LU, J
BO, Y
[J]. IFIP TRANSACTIONS A-COMPUTER SCIENCE AND TECHNOLOGY, 1992, 19 : 285 - 294
[8] Parallel cooperative propositional theorem proving
Okushi, F
[J]. ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 1999, 26 (1-4) : 59 - 85
[9] HUMAN ORIENTED LOGIC FOR AUTOMATIC THEOREM-PROVING
NEVINS, AJ
[J]. JOURNAL OF THE ACM, 1974, 21 (04) : 606 - 621
[10] Parallel cooperative propositional theorem proving
Fumiaki Okushi
[J]. Annals of Mathematics and Artificial Intelligence, 1999, 26 : 59 - 85

← 1 2 3 4 5 →