Peter Bruell

Department of Mathematics The University of Texas at Austin Austin , Texas 78712

2 papers in the IJCAI proceedings

IJCAI 1979

A Prover for General Inequalities

with W. W. Bledsoe, Robert E. Shostak

Details PDF

IJCAI 1973

A Man-Machine Theorem-Proving System

with W. W. Bledsoe

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings