W. W. Bledsoe

6 papers in the IJCAI proceedings

IJCAI 1983

Using Examples to Generate Instantiations of Set Variables

Details PDF

IJCAI 1979

A Prover for General Inequalities

with Peter Bruell, Robert E. Shostak

Details PDF

IJCAI 1977

Set Variables

Details PDF

IJCAI 1975

A New Mehtod for Proving Certain Presburger Formules

Details PDF

IJCAI 1973

A Man-Machine Theorem-Proving System

with Peter Bruell

Details PDF

IJCAI 1971

Computer Proofs of Limit Theorems

with Robert S. Boyer, William H. Henneman

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings