2 RESULTS IN TERM REWRITING THEOREM-PROVING

被引：0

|

作者：

HSIANG, J

机构：

来源：

LECTURE NOTES IN COMPUTER SCIENCE | 1985年 / 202卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

收藏

页码：301 / 324

页数：24

相关论文

共 50 条

[31] THEOREM-PROVING USING SEMANTIC RESOLUTION
DOSREIS, AJ
DR DOBBS JOURNAL, 1988, 13 (04): : 50 - &
[32] A REFUTATIONAL APPROACH TO GEOMETRY THEOREM-PROVING
KAPUR, D
ARTIFICIAL INTELLIGENCE, 1988, 37 (1-3) : 61 - 93
[33] THEOREM-PROVING WITH ORDERING CONSTRAINED CLAUSES
NIEUWENHUIS, R
RUBIO, A
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 607 : 477 - 491
[34] THEOREM-PROVING VIA GENERAL MATINGS
ANDREWS, PB
JOURNAL OF THE ACM, 1981, 28 (02) : 193 - 214
[35] THEOREM-PROVING SYSTEMS OF THE FORMEL PROJECT
HUET, G
LECTURE NOTES IN COMPUTER SCIENCE, 1986, 230 : 687 - 688
[36] AUTOMATIC THEOREM-PROVING IN THE ISDV SYSTEM
BEIERLE, C
OLTHOFF, W
VOSS, A
LECTURE NOTES IN COMPUTER SCIENCE, 1986, 230 : 670 - 671
[37] MECHANICAL THEOREM-PROVING IN PROJECTIVE GEOMETRY
RICHTERGEBERT, J
ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 1995, 13 (1-2) : 139 - 172
[38] MECHANICAL THEOREM-PROVING BY MODEL ELIMINATION
LOVELAND, DW
JOURNAL OF THE ACM, 1968, 15 (02) : 236 - &
[39] PARALLEL THEOREM-PROVING WITH CONNECTION GRAPHS
LOGANANTHARAJ, R
MUELLER, RA
LECTURE NOTES IN COMPUTER SCIENCE, 1986, 230 : 337 - 352
[40] Optical vector logic theorem-proving
Westphal, J
Caulfield, J
Hardy, J
Qian, L
Proceedings of the 8th Joint Conference on Information Sciences, Vols 1-3, 2005, : 1323 - 1326

← 1 2 3 4 5 →