Dan Nesmith
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
1
Active years
1990–1994
Best venue rank
A
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1994 | CADE | Omega-MKRP: A Proof Development Environment. | Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jrn Richts, Jrg H. Siekmann |
| 1994 | CADE | KEIM: A Toolkit for Automated Deduction. | Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jrn Richts, Jrg H. Siekmann |
| 1990 | CADE | The TPS Theorem Proving System. | Peter B. Andrews, Sunil Issar, Dan Nesmith, Frank Pfenning |
| 1990 | CADE | Presenting Intuitive Deductions via Symmetric Simplification. | Frank Pfenning, Dan Nesmith |