dblp.uni-trier.dewww.uni-trier.de

W. W. Bledsoe Vis

Woodrow ("Woody") W. Bledsoe

List of publications from the DBLP Bibliography Server - FAQ
Coauthor 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
13EEW. 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)
10EEA. 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
2EERobert 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
1EEW. W. Bledsoe: Some Results on Multicategory Pattern Recognition. J. ACM 13(2): 304-316 (1966)

Coauthor Index

1Robert Anderson [2]
2A. Michael Ballantyne [10]
3Robert S. Boyer [4] [5]
4Peter Bruell [6] [7]
5Guohui Feng [22]
6Donald I. Good [8]
7William H. Henneman [4] [5]
8Lawrence J. Henschen [15]
9Larry M. Hines [13]
10Kenneth Kunen [16]
11Ralph L. London [8]
12Robert E. Shostak [16]
13Tie-Cheng Wang [19]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)