Dan Nesmith

Publication Activity (10 Years)

Years Active: 1990-1996
Publications (10 Years): 0

Publications

Peter B. Andrews, Matthew Bishop, Sunil Issar, Dan Nesmith, Frank Pfenning, Hongwei Xi
TPS: A Theorem-Proving System for Classical Type Theory. J. Autom. Reason. 16 (3) (1996)
Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg H. Siekmann
Die Beweisentwicklungsumgebung Omega-MKRP. Inform. Forsch. Entwickl. 11 (1) (1996)
Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg H. Siekmann
Omega-MKRP: A Proof Development Environment. CADE (1994)
Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg H. Siekmann
KEIM: A Toolkit for Automated Deduction. CADE (1994)
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. HUG (1993)
Frank Pfenning, Dan Nesmith
Presenting Intuitive Deductions via Symmetric Simplification. CADE (1990)
Peter B. Andrews, Sunil Issar, Dan Nesmith, Frank Pfenning
The TPS Theorem Proving System. CADE (1990)