Peter Bruell
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
1
Active years
1973–1979
Best venue rank
A*
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1979 | IJCAI | A Prover for General Inequalities. | W. W. Bledsoe, Peter Bruell, Robert E. Shostak |
| 1973 | IJCAI | A Man-Machine Theorem-Proving System. | W. W. Bledsoe, Peter Bruell |