W. W. Bledsoe
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
2
Active years
1971–1983
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1983 | IJCAI | Using Examples to Generate Instantiations of Set Variables. | W. W. Bledsoe |
| 1980 | CADE | Variable Elimination and Chaining in a Resolution-based Prover for Inequalities. | W. W. Bledsoe, Larry M. Hines |
| 1979 | IJCAI | A Prover for General Inequalities. | W. W. Bledsoe, Peter Bruell, Robert E. Shostak |
| 1977 | IJCAI | Set Variables. | W. W. Bledsoe |
| 1975 | IJCAI | A New Mehtod for Proving Certain Presburger Formules. | W. W. Bledsoe |
| 1973 | IJCAI | A Man-Machine Theorem-Proving System. | W. W. Bledsoe, Peter Bruell |
| 1971 | IJCAI | Computer Proofs of Limit Theorems. | W. W. Bledsoe, Robert S. Boyer, William H. Henneman |