Peter Bruell

Publication Activity (10 Years)

Years Active: 1973-1979
Publications (10 Years): 0

Publications

W. W. Bledsoe, Peter Bruell, Robert E. Shostak
A Prover for General Inequalities. IJCAI (1979)
W. W. Bledsoe, Peter Bruell
A Man-Machine Theorem-Proving System. Artif. Intell. 5 (1) (1974)
W. W. Bledsoe, Peter Bruell
A Man-Machine Theorem-Proving System. IJCAI (1973)