W. W. Bledsoe

Publication Activity (10 Years)

Years Active: 1959-1993
Publications (10 Years): 0

Publications

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