W. W. Bledsoe

According to our database, W. W. Bledsoe authored at least 32 papers between 1959 and 1993.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

1993

Set-Var.

W. W. Bledsoe, Guohui Feng

J. Autom. Reason., 1993

1991

Interactive Proof Presentation.

W. W. Bledsoe

Proceedings of the Computational Logic - Essays in Honor of Alan Robinson, 1991

1990

Challenge Problems in Elementary Calculus.

W. W. Bledsoe

J. Autom. Reason., 1990

1987

Hierarchical Deduction.

Tie-Cheng Wang, W. W. Bledsoe

J. Autom. Reason., 1987

1986

I Had a Dream: AAAI Presidential Address, August 1985.

W. W. Bledsoe

AI Mag., 1986

Some Thoughts on Proof Discovery.

W. W. Bledsoe

Proceedings of the 1986 Symposium on Logic Programming, 1986

1985

What Is Automated Theorem Proving?

W. W. Bledsoe, Lawrence J. Henschen

J. Autom. Reason., 1985

Completeness Results for Inequality Provers.

W. W. Bledsoe, Kenneth Kunen, Robert E. Shostak

Artif. Intell., 1985

1983

Using Examples to Generate Instantiations of Set Variables.

W. W. Bledsoe

Proceedings of the 8th International Joint Conference on Artificial Intelligence. Karlsruhe, 1983

1980

Variable Elimination and Chaining in a Resolution-based Prover for Inequalities.

W. W. Bledsoe, Larry M. Hines

Proceedings of the 5th Conference on Automated Deduction, 1980

1979

A Prover for General Inequalities.

W. W. Bledsoe, Peter Bruell, Robert E. Shostak

Proceedings of the Sixth International Joint Conference on Artificial Intelligence, 1979

1977

Automatic Proofs of Theorems in Analysis Using Nonstandard Techniques.

A. Michael Ballantyne, W. W. Bledsoe

J. ACM, 1977

Non-Resolution Theorem Proving.

W. W. Bledsoe

Artif. Intell., 1977

Set Variables.

W. W. Bledsoe

Proceedings of the 5th International Joint Conference on Artificial Intelligence. Cambridge, 1977

1975

An Interactive Program Verification System.

Donald I. Good, Ralph L. London, W. W. Bledsoe

IEEE Trans. Software Eng., 1975

A New Mehtod for Proving Certain Presburger Formules.

W. W. Bledsoe

Proceedings of the Advance Papers of the Fourth International Joint Conference on Artificial Intelligence, 1975

1974

A Man-Machine Theorem-Proving System.

W. W. Bledsoe, Peter Bruell

Artif. Intell., 1974

1972

Books.

W. W. Bledsoe

SIGART Newsl., 1972

Computer chess championship in Boston.

W. W. Bledsoe

SIGART Newsl., 1972

Errata.

W. W. Bledsoe

SIGART Newsl., 1972

Computer Proofs of Limit Theorems.

W. W. Bledsoe, Robert S. Boyer, William H. Henneman

Artif. Intell., 1972

1971

Review of "Problem-Solving Methods in Artificial Intelligence by Nils J. Nilsson", McGraw-Hill Pub.

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

Results of second annual computer chess championship.

W. W. Bledsoe

SIGART Newsl., 1971

Splitting and Reduction Heuristics in Automatic Theorem Proving.

W. W. Bledsoe

Artif. Intell., 1971

1970

First U.S. computer chess tournament.

W. W. Bledsoe

SIGART Newsl., 1970

A Linear Format for Resolution With Merging and a New Technique for Establishing Completeness.

Robert Anderson, W. W. Bledsoe

J. ACM, 1970

1966

Some Results on Multicategory Pattern Recognition.

W. W. Bledsoe

J. ACM, 1966

1962

Improved Memory Matrices for the n-Tuple Pattern Recognition Method.

W. W. Bledsoe, C. L. Bisson

IRE Trans. Electron. Comput., 1962

1961

Further Results on the N-tuple Pattern Recognition Method.

W. W. Bledsoe

IRE Trans. Electron. Comput., 1961

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

Proceedings of the Papers presented at the 1959 eastern joint IRE-AIEE-ACM computer conference, 1959

Pattern recognition and reading by machine.

W. W. Bledsoe, I. Browning

Proceedings of the Papers presented at the 1959 eastern joint IRE-AIEE-ACM computer conference, 1959