Peter Bruell

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