Keith Vanderveen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
1997–1997
Best venue rank
B
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1997 | COMPSAC | Partial instantiation theorem proving for distributed resource location. | Keith Vanderveen, C. V. Ramamoorthy |
| 1997 | ICTAI | Anytime Reasoning in First-Order Logic. | Keith Vanderveen, C. V. Ramamoorthy |