Dan Benanav
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
1987–1990
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1990 | CADE | Simultaneous Paramodulation. | Dan Benanav |
| 1989 | IJCAI | Recognizing Unnecessary Inference. | Dan Benanav |
| 1987 | IJCAI | An Algebraic Foundation for Truth Maintenance. | Allen L. Brown Jr., Dale E. Gaucas, Dan Benanav |