Search the dblp DataBase

Publications of Author

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