AUTOMATED DEDUCTION BY THEORY RESOLUTION.

被引：1

|

作者：

Stickel, Mark E. ^{[1
]}

机构：

[1] SRI Int, Menlo Park, CA, USA, SRI Int, Menlo Park, CA, USA

来源：

Journal of Automated Reasoning | 1985年 / 1卷 / 04期

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

AUTOMATA THEORY

引用

收藏

页码：333 / 355

相关论文

共 50 条

[41] Combining assisted and automated deduction
Kirchner, H
[J]. ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2000, 28 (1-4) : 21 - 26
[42] THE KLAUS AUTOMATED DEDUCTION SYSTEM
STICKEL, ME
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1988, 310 : 750 - 751
[43] MONTE CARLO SIMULATION OF PHOTOMULTIPLIER RESOLUTION.
Wright, A.G.
[J]. IEEE Transactions on Nuclear Science, 1986, NS-34 (01) : 414 - 417
[44] Automated deduction with Shannon graphs
Posegga, J
Schmitt, PH
[J]. JOURNAL OF LOGIC AND COMPUTATION, 1995, 5 (06) : 697 - 729
[45] Automated deduction: Looking ahead
Computer Science Department, Duke University, United States
[J]. AI Mag, 1 (77-98):
[46] Automated deduction - Looking ahead
Loveland, DW
[J]. AI MAGAZINE, 1999, 20 (01) : 77 - 98
[47] Current Trends in Automated Deduction
Giesl, Juergen
[J]. KUNSTLICHE INTELLIGENZ, 2010, 24 (01): : 11 - 13
[48] Special Issue on Automated Deduction
Giesl, Juergen
[J]. KUNSTLICHE INTELLIGENZ, 2010, 24 (01): : 7 - 9
[49] THE KLAUS AUTOMATED DEDUCTION SYSTEM
STICKEL, ME
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1986, 230 : 703 - 704
[50] Combining assisted and automated deduction
Hélène Kirchner
[J]. Annals of Mathematics and Artificial Intelligence, 2000, 28 : 21 - 26

← 1 2 3 4 5 →