| 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 |
