Woodrow ("Woody") W. Bledsoe

List of publications from the DBLP Bibliography Server - FAQCoauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

* | 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 | EE | 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] |