ML Anthology

Shostak, Robert E.

2 publications

IJCAI 1979 A Prover for General Inequalities W. W. Bledsoe, Peter Bruell, Robert E. Shostak
IJCAI 1977 An Algorithm for Reasoning About Equality Robert E. Shostak