Daniel Nesmith

Dan Nesmith

	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
6		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: 788-792
5		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: 807-810
	1993
4		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: 366-370
	1990
3		Frank Pfenning, Dan Nesmith: Presenting Intuitive Deductions via Symmetric Simplification. CADE 1990: 336-350
2		Peter B. Andrews, Sunil Issar, Dan Nesmith, Frank Pfenning: The TPS Theorem Proving System. CADE 1990: 641-642
	1988
1		Peter B. Andrews, Sunil Issar, Daniel Nesmith, Frank Pfenning: The TPS Theorem Proving System. CADE 1988: 760-761

Coauthor Index

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