Robert E. Shostak

SRI International 333 Ravenswood Avenue Menlo Park , California 92025

2 papers in the IJCAI proceedings

IJCAI 1979

A Prover for General Inequalities

with W. W. Bledsoe, Peter Bruell

Details PDF

IJCAI 1977

An Algorithm for Reasoning About Equality

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings