W. W. Bledsoe

36 papers A* 6A 1Journal 24Unranked 5
YearRankTypeTitle / Venue / Authors
1993 J jnl
Set-Var.
J. Autom. Reason.
W. W. Bledsoe, Guohui Feng
1991 — conf
Interactive Proof Presentation.
Computational Logic - Essays in Honor of Alan Robinson
W. W. Bledsoe
1990 J jnl
Challenge Problems in Elementary Calculus.
J. Autom. Reason.
W. W. Bledsoe
1987 J jnl
Hierarchical Deduction.
J. Autom. Reason.
Tie-Cheng Wang, W. W. Bledsoe
1986 J jnl
I Had a Dream: AAAI Presidential Address, August 1985.
AI Mag.
W. W. Bledsoe
1986 — conf
Some Thoughts on Proof Discovery.
SLP
W. W. Bledsoe
1985 J jnl
Completeness Results for Inequality Provers.
Artif. Intell.
W. W. Bledsoe, Kenneth Kunen, Robert E. Shostak
1985 J jnl
What Is Automated Theorem Proving?
J. Autom. Reason.
W. W. Bledsoe, Lawrence J. Henschen
1983 A* conf
Using Examples to Generate Instantiations of Set Variables.
IJCAI
W. W. Bledsoe
1980 A conf
Variable Elimination and Chaining in a Resolution-based Prover for Inequalities.
CADE
W. W. Bledsoe, Larry M. Hines
1979 A* conf
A Prover for General Inequalities.
IJCAI
W. W. Bledsoe, Peter Bruell, Robert E. Shostak
1977 J jnl
Automatic Proofs of Theorems in Analysis Using Nonstandard Techniques.
J. ACM
A. Michael Ballantyne, W. W. Bledsoe
1977 J jnl
Non-Resolution Theorem Proving.
Artif. Intell.
W. W. Bledsoe
1977 A* conf
Set Variables.
IJCAI
W. W. Bledsoe
1975 A* conf
A New Mehtod for Proving Certain Presburger Formules.
IJCAI
W. W. Bledsoe
1975 J jnl
An Interactive Program Verification System.
IEEE Trans. Software Eng.
Donald I. Good, Ralph L. London, W. W. Bledsoe
1975 — conf
An interactive program verification system.
Reliable Software
Donald I. Good, Ralph L. London, W. W. Bledsoe
1974 J jnl
A Man-Machine Theorem-Proving System.
Artif. Intell.
W. W. Bledsoe, Peter Bruell
1973 A* conf
A Man-Machine Theorem-Proving System.
IJCAI
W. W. Bledsoe, Peter Bruell
1972 J jnl
Books.
SIGART Newsl.
W. W. Bledsoe
1972 J jnl
Books.
SIGART Newsl.
W. W. Bledsoe
1972 J jnl
Computer Proofs of Limit Theorems.
Artif. Intell.
W. W. Bledsoe, Robert S. Boyer, William H. Henneman
1972 J jnl
Computer chess championship in Boston.
SIGART Newsl.
W. W. Bledsoe
1972 J jnl
Errata.
SIGART Newsl.
W. W. Bledsoe
1971 A* conf
Computer Proofs of Limit Theorems.
IJCAI
W. W. Bledsoe, Robert S. Boyer, William H. Henneman
1971 J jnl
Results of second annual computer chess championship.
SIGART Newsl.
W. W. Bledsoe
1971 J jnl
Review of "Problem-Solving Methods in Artificial Intelligence by Nils J. Nilsson", McGraw-Hill Pub.
SIGART Newsl.
W. W. Bledsoe
1971 J jnl
Review of "Un Programme de Démonstration de Théorèms (A Theorem Proving Program) by Jaques Pitrat", 1970.
SIGART Newsl.
W. W. Bledsoe
1971 J jnl
Splitting and Reduction Heuristics in Automatic Theorem Proving.
Artif. Intell.
W. W. Bledsoe
1970 J jnl
A Linear Format for Resolution With Merging and a New Technique for Establishing Completeness.
J. ACM
Robert Anderson, W. W. Bledsoe
1970 J jnl
First U.S. computer chess tournament.
SIGART Newsl.
W. W. Bledsoe
1966 J jnl
Some Results on Multicategory Pattern Recognition.
J. ACM
W. W. Bledsoe
1962 J jnl
Improved Memory Matrices for the n-Tuple Pattern Recognition Method.
IRE Trans. Electron. Comput.
W. W. Bledsoe, C. L. Bisson
1961 J jnl
Further Results on the N-tuple Pattern Recognition Method.
IRE Trans. Electron. Comput.
W. W. Bledsoe
1959 — conf
Discussion of problems in pattern recognition.
IRE-AIEE-ACM Computer Conference (Eastern)
W. W. Bledsoe, J. S. Bomba, I. Browning, R. James Evey, Russell A. Kirsch, R. L. Mattson, Marvin Minsky, Ulric Neisser, Oliver G. Selfridge
1959 — conf
Pattern recognition and reading by machine.
IRE-AIEE-ACM Computer Conference (Eastern)
W. W. Bledsoe, I. Browning