W. W. Bledsoe - RankMe

36 papers A* 6A 1Journal 24Unranked 5

Year	Rank	Type	Title / 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