ML Anthology

Bruell, Peter

2 publications

IJCAI 1979 A Prover for General Inequalities W. W. Bledsoe, Peter Bruell, Robert E. Shostak
IJCAI 1973 A Man-Machine Theorem-Proving System W. W. Bledsoe, Peter Bruell