W. W. Bledsoe

Woodrow ("Woody") W. Bledsoe

	1993
j14		W. W. Bledsoe, Guohui Feng: Set-Var. J. Autom. Reasoning 11(3): 293-314 (1993)
	1991
c9		W. W. Bledsoe: Interactive Proof Presentation. Computational Logic - Essays in Honor of Alan Robinson 1991: 136-165
	1990
j13		W. W. Bledsoe: Challenge Problems in Elementary Calculus. J. Autom. Reasoning 6(3): 341-359 (1990)
	1987
j12		Tie-Cheng Wang, W. W. Bledsoe: Hierarchical Deduction. J. Autom. Reasoning 3(1): 35-77 (1987)
	1986
j11		W. W. Bledsoe: I Had a Dream: AAAI Presidential Address, August 1985. AI Magazine 7(1): 57-61 (1986)
c8		W. W. Bledsoe: Some Thoughts on Proof Discovery. SLP 1986: 2-10
	1985
j10		W. W. Bledsoe, Kenneth Kunen, Robert E. Shostak: Completeness Results for Inequality Provers. Artif. Intell. 27(3): 255-288 (1985)
j9		W. W. Bledsoe, Lawrence J. Henschen: What Is Automated Theorem Proving? J. Autom. Reasoning 1(1): 23-28 (1985)
	1983
c7		W. W. Bledsoe: Using Examples to Generate Instantiations of Set Variables. IJCAI 1983: 892-901
	1980
c6		W. W. Bledsoe, Larry M. Hines: Variable Elimination and Chaining in a Resolution-based Prover for Inequalities. CADE 1980: 70-87
	1979
c5		W. W. Bledsoe, Peter Bruell, Robert E. Shostak: A Prover for General Inequalities. IJCAI 1979: 66-69
	1977
j8		W. W. Bledsoe: Non-Resolution Theorem Proving. Artif. Intell. 9(1): 1-35 (1977)
j7		A. Michael Ballantyne, W. W. Bledsoe: Automatic Proofs of Theorems in Analysis Using Nonstandard Techniques. J. ACM 24(3): 353-374 (1977)
c4		W. W. Bledsoe: Set Variables. IJCAI 1977: 501-510
	1975
j6		Donald I. Good, Ralph L. London, W. W. Bledsoe: An Interactive Program Verification System. IEEE Trans. Software Eng. 1(1): 59-67 (1975)
c3		W. W. Bledsoe: A New Mehtod for Proving Certain Presburger Formules. IJCAI 1975: 15-21
	1974
j5		W. W. Bledsoe, Peter Bruell: A Man-Machine Theorem-Proving System. Artif. Intell. 5(1): 51-72 (1974)
	1973
c2		W. W. Bledsoe, Peter Bruell: A Man-Machine Theorem-Proving System. IJCAI 1973: 56-66
	1972
j4		W. W. Bledsoe, Robert S. Boyer, William H. Henneman: Computer Proofs of Limit Theorems. Artif. Intell. 3(1-3): 27-60 (1972)
	1971
j3		W. W. Bledsoe: Splitting and Reduction Heuristics in Automatic Theorem Proving. Artif. Intell. 2(1): 55-77 (1971)
c1		W. W. Bledsoe, Robert S. Boyer, William H. Henneman: Computer Proofs of Limit Theorems. IJCAI 1971: 586-600
	1970
j2		Robert Anderson, W. W. Bledsoe: A Linear Format for Resolution With Merging and a New Technique for Establishing Completeness. J. ACM 17(3): 525-534 (1970)
	1966
j1		W. W. Bledsoe: Some Results on Multicategory Pattern Recognition. J. ACM 13(2): 304-316 (1966)

Coauthor Index

Colors in the list of coauthors

Last update Sun May 19 16:21:54 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page