dblp.uni-trier.dewww.uni-trier.de

Daniel Nesmith Vis

Dan Nesmith

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*1996
8 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): 20-26 (1996)
7 Peter B. Andrews, Matthew Bishop, Sunil Issar, Dan Nesmith, Frank Pfenning, Hongwei Xi: TPS: A Theorem-Proving System for Classical Type Theory. J. Autom. Reasoning 16(3): 321-353 (1996)
1994
6EEXiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg H. Siekmann: Omega-MKRP: A Proof Development Environment. CADE 1994: 788-792
5EEXiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg H. Siekmann: KEIM: A Toolkit for Automated Deduction. CADE 1994: 807-810
1993
4EEPeter 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: 366-370
1990
3EEFrank Pfenning, Dan Nesmith: Presenting Intuitive Deductions via Symmetric Simplification. CADE 1990: 336-350
2EEPeter B. Andrews, Sunil Issar, Dan Nesmith, Frank Pfenning: The TPS Theorem Proving System. CADE 1990: 641-642
1988
1EEPeter B. Andrews, Sunil Issar, Daniel Nesmith, Frank Pfenning: The TPS Theorem Proving System. CADE 1988: 760-761

Coauthor Index

1Peter B. Andrews [1] [2] [4] [7]
2Matthew Bishop [4] [7]
3Xiaorong Huang [5] [6] [8]
4Sunil Issar [1] [2] [4] [7]
5Manfred Kerber [5] [6] [8]
6Michael Kohlhase [5] [6] [8]
7Erica Melis [5] [6] [8]
8Frank Pfenning [1] [2] [3] [4] [7]
9Jörn Richts [5] [6] [8]
10Jörg H. Siekmann [5] [6] [8]
11Hongwei Xi [4] [7]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)