
Search the dblp DataBase
Dan Nesmith:
[Publications]
[Author Rank by year]
[Coauthors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
 Peter B. Andrews, Sunil Issar, Dan Nesmith, Frank Pfenning
The TPS Theorem Proving System. [Citation Graph (0, 0)][DBLP] CADE, 1990, pp:641642 [Conf]
 Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg H. Siekmann
OmegaMKRP: A Proof Development Environment. [Citation Graph (0, 0)][DBLP] CADE, 1994, pp:788792 [Conf]
 Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg H. Siekmann
KEIM: A Toolkit for Automated Deduction. [Citation Graph (0, 0)][DBLP] CADE, 1994, pp:807810 [Conf]
 Frank Pfenning, Dan Nesmith
Presenting Intuitive Deductions via Symmetric Simplification. [Citation Graph (0, 0)][DBLP] CADE, 1990, pp:336350 [Conf]
 Peter B. Andrews, Matthew Bishop, Sunil Issar, Dan Nesmith, Frank Pfenning, Hongwei Xi
TPS: An Interactive and Automatic Tool for Proving Theorems of Type Theory. [Citation Graph (0, 0)][DBLP] HUG, 1993, pp:366370 [Conf]
 Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg H. Siekmann
Die Beweisentwicklungsumgebung OmegaMKRP. [Citation Graph (0, 0)][DBLP] Inform., Forsch. Entwickl., 1996, v:11, n:1, pp:2026 [Journal]
 Peter B. Andrews, Matthew Bishop, Sunil Issar, Dan Nesmith, Frank Pfenning, Hongwei Xi
TPS: A TheoremProving System for Classical Type Theory. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 1996, v:16, n:3, pp:321353 [Journal]
Search in 0.002secs, Finished in 0.002secs
