Raymond D. Gumb
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
1977–2000
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2000 | TABLEAUX | Model Sets in a Nonconstructive Logic of Partial Terms with Definite Descriptions. | Raymond D. Gumb |
| 1989 | SIGCSE | A first course in program verification and the semantics of programming languages. | Raymond D. Gumb |
| 1987 | AAAI | Filming a Terrain under Uncertainty Using Temporal and Probahilistic Reasoning. | Raymond D. Gumb |
| 1977 | IJCAI | A Mechanized Proof Procedure for Free Intensional Logics. | Raymond D. Gumb |