Woodrow ("Woody") W. Bledsoe
List of publications from the
| 1993 |
|---|
| 22 | | W. W. Bledsoe,
Guohui Feng:
Set-Var.
J. Autom. Reasoning 11(3): 293-314 (1993) |
| 1991 |
|---|
| 21 | | W. W. Bledsoe:
Interactive Proof Presentation.
Computational Logic - Essays in Honor of Alan Robinson 1991: 136-165 |
| 1990 |
|---|
| 20 | | W. W. Bledsoe:
Challenge Problems in Elementary Calculus.
J. Autom. Reasoning 6(3): 341-359 (1990) |
| 1987 |
|---|
| 19 | | Tie-Cheng Wang,
W. W. Bledsoe:
Hierarchical Deduction.
J. Autom. Reasoning 3(1): 35-77 (1987) |
| 1986 |
|---|
| 18 | | W. W. Bledsoe:
Some Thoughts on Proof Discovery.
SLP 1986: 2-10 |
| 17 | | W. W. Bledsoe:
I Had a Dream: AAAI Presidential Address, August 1985.
AI Magazine 7(1): 57-61 (1986) |
| 1985 |
|---|
| 16 | | W. W. Bledsoe,
Kenneth Kunen,
Robert E. Shostak:
Completeness Results for Inequality Provers.
Artif. Intell. 27(3): 255-288 (1985) |
| 15 | | W. W. Bledsoe,
Lawrence J. Henschen:
What Is Automated Theorem Proving?
J. Autom. Reasoning 1(1): 23-28 (1985) |
| 1983 |
|---|
| 14 | | W. W. Bledsoe:
Using Examples to Generate Instantiations of Set Variables.
IJCAI 1983: 892-901 |
| 1980 |
|---|
| 13 | | W. W. Bledsoe,
Larry M. Hines:
Variable Elimination and Chaining in a Resolution-based Prover for Inequalities.
CADE 1980: 70-87 |
| 1977 |
|---|
| 12 | | W. W. Bledsoe:
Set Variables.
IJCAI 1977: 501-510 |
| 11 | | W. W. Bledsoe:
Non-Resolution Theorem Proving.
Artif. Intell. 9(1): 1-35 (1977) |
| 10 | EE | A. Michael Ballantyne,
W. W. Bledsoe:
Automatic Proofs of Theorems in Analysis Using Nonstandard Techniques.
J. ACM 24(3): 353-374 (1977) |
| 1975 |
|---|
| 9 | | W. W. Bledsoe:
A New Mehtod for Proving Certain Presburger Formules.
IJCAI 1975: 15-21 |
| 8 | | Donald I. Good,
Ralph L. London,
W. W. Bledsoe:
An Interactive Program Verification System.
IEEE Trans. Software Eng. 1(1): 59-67 (1975) |
| 1974 |
|---|
| 7 | | W. W. Bledsoe,
Peter Bruell:
A Man-Machine Theorem-Proving System.
Artif. Intell. 5(1): 51-72 (1974) |
| 1973 |
|---|
| 6 | | W. W. Bledsoe,
Peter Bruell:
A Man-Machine Theorem-Proving System.
IJCAI 1973: 56-66 |
| 1972 |
|---|
| 5 | | W. W. Bledsoe,
Robert S. Boyer,
William H. Henneman:
Computer Proofs of Limit Theorems.
Artif. Intell. 3(1-3): 27-60 (1972) |
| 1971 |
|---|
| 4 | | W. W. Bledsoe,
Robert S. Boyer,
William H. Henneman:
Computer Proofs of Limit Theorems.
IJCAI 1971: 586-600 |
| 3 | | W. W. Bledsoe:
Splitting and Reduction Heuristics in Automatic Theorem Proving.
Artif. Intell. 2(1): 55-77 (1971) |
| 1970 |
|---|
| 2 | EE | Robert Anderson,
W. W. Bledsoe:
A Linear Format for Resolution With Merging and a New Technique for Establishing Completeness.
J. ACM 17(3): 525-534 (1970) |
| 1966 |
|---|
| 1 | EE | W. W. Bledsoe:
Some Results on Multicategory Pattern Recognition.
J. ACM 13(2): 304-316 (1966) |
