Pattern recognition and reading by machine. - W. W. Bledsoe; I. Browning (IRE-AIEE-ACM Computer Conference (Eastern), 1959)

Discussion of problems in pattern recognition. - W. W. Bledsoe; J. S. Bomba; I. Browning; R. James Evey; Russell A. Kirsch; R. L. Mattson; Marvin Minsky; Ulric Neisser; Oliver G. Selfridge (IRE-AIEE-ACM Computer Conference (Eastern), 1959)

Further Results on the N-tuple Pattern Recognition Method. - W. W. Bledsoe (IRE Trans. Electron. Comput., 1961)

Improved Memory Matrices for the n-Tuple Pattern Recognition Method. - W. W. Bledsoe; C. L. Bisson (IRE Trans. Electron. Comput., 1962)

Some Results on Multicategory Pattern Recognition. - W. W. Bledsoe (J. ACM, 1966)

A Linear Format for Resolution With Merging and a New Technique for Establishing Completeness. - Robert Anderson; W. W. Bledsoe (J. ACM, 1970)

First U.S. computer chess tournament. - W. W. Bledsoe (SIGART Newsl., 1970)

Splitting and Reduction Heuristics in Automatic Theorem Proving. - W. W. Bledsoe (Artif. Intell., 1971)

Results of second annual computer chess championship. - W. W. Bledsoe (SIGART Newsl., 1971)

Review of "Un Programme de Démonstration de Théorèms (A Theorem Proving Program) by Jaques Pitrat", 1970. - W. W. Bledsoe (SIGART Newsl., 1971)

Review of "Problem-Solving Methods in Artificial Intelligence by Nils J. Nilsson", McGraw-Hill Pub. - W. W. Bledsoe (SIGART Newsl., 1971)

Computer Proofs of Limit Theorems. - W. W. Bledsoe; Robert S. Boyer; William H. Henneman (Artif. Intell., 1972)

Errata. - W. W. Bledsoe (SIGART Newsl., 1972)

Computer chess championship in Boston. - W. W. Bledsoe (SIGART Newsl., 1972)

Books. - W. W. Bledsoe (SIGART Newsl., 1972)

A Man-Machine Theorem-Proving System. - W. W. Bledsoe; Peter Bruell (Artif. Intell., 1974)

A New Mehtod for Proving Certain Presburger Formules. - W. W. Bledsoe (IJCAI, 1975)

An Interactive Program Verification System. - Donald I. Good; Ralph L. London; W. W. Bledsoe (IEEE Trans. Software Eng., 1975)

Set Variables. - W. W. Bledsoe (IJCAI, 1977)

Non-Resolution Theorem Proving. - W. W. Bledsoe (Artif. Intell., 1977)

Automatic Proofs of Theorems in Analysis Using Nonstandard Techniques. - A. Michael Ballantyne; W. W. Bledsoe (J. ACM, 1977)

A Prover for General Inequalities. - W. W. Bledsoe; Peter Bruell; Robert E. Shostak (IJCAI, 1979)

Variable Elimination and Chaining in a Resolution-based Prover for Inequalities. - W. W. Bledsoe; Larry M. Hines (CADE, 1980)

Using Examples to Generate Instantiations of Set Variables. - W. W. Bledsoe (IJCAI, 1983)

Completeness Results for Inequality Provers. - W. W. Bledsoe; Kenneth Kunen; Robert E. Shostak (Artif. Intell., 1985)

What Is Automated Theorem Proving? - W. W. Bledsoe; Lawrence J. Henschen (J. Autom. Reason., 1985)

Some Thoughts on Proof Discovery. - W. W. Bledsoe (SLP, 1986)

I Had a Dream: AAAI Presidential Address, August 1985. - W. W. Bledsoe (AI Mag., 1986)

Hierarchical Deduction. - Tie-Cheng Wang; W. W. Bledsoe (J. Autom. Reason., 1987)

Challenge Problems in Elementary Calculus. - W. W. Bledsoe (J. Autom. Reason., 1990)

Interactive Proof Presentation. - W. W. Bledsoe (Computational Logic - Essays in Honor of Alan Robinson, 1991)

Set-Var. - W. W. Bledsoe; Guohui Feng (J. Autom. Reason., 1993)