Bledsoe, W. W.

6 publications

IJCAI 1983 Using Examples to Generate Instantiations of Set Variables W. W. Bledsoe

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

IJCAI 1977 Set Variables W. W. Bledsoe

IJCAI 1975 A New Mehtod for Proving Certain Presburger Formules W. W. Bledsoe

IJCAI 1973 A Man-Machine Theorem-Proving System W. W. Bledsoe, Peter Bruell

IJCAI 1971 Computer Proofs of Limit Theorems W. W. Bledsoe, Robert S. Boyer, William H. Henneman