Woodrow ("Woody") W. Bledsoe
List of publications from the DBLP Bibliography Server - FAQ
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) |
1 | Robert Anderson | [2] |
2 | A. Michael Ballantyne | [10] |
3 | Robert S. Boyer | [4] [5] |
4 | Peter Bruell | [6] [7] |
5 | Guohui Feng | [22] |
6 | Donald I. Good | [8] |
7 | William H. Henneman | [4] [5] |
8 | Lawrence J. Henschen | [15] |
9 | Larry M. Hines | [13] |
10 | Kenneth Kunen | [16] |
11 | Ralph L. London | [8] |
12 | Robert E. Shostak | [16] |
13 | Tie-Cheng Wang | [19] |