| 2004 |
|---|
| 8 | EE | Peter B. Andrews,
Chad E. Brown,
Frank Pfenning,
Matthew Bishop,
Sunil Issar,
Hongwei Xi:
ETPS: A System to Help Students Write Formal Proofs.
J. Autom. Reasoning 32(1): 75-92 (2004) |
| 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 | EE | Wayne Ward,
Sunil Issar:
Recent Improvements in the CMU Spoken Language Understanding System.
HLT 1994 |
| 1993 |
|---|
| 5 | | 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 |
|---|
| 4 | | Sunil Issar:
Path-Focused Duplication: A Search Procedure for General Matings.
AAAI 1990: 221-226 |
| 3 | | Peter B. Andrews,
Sunil Issar,
Dan Nesmith,
Frank Pfenning:
The TPS Theorem Proving System.
CADE 1990: 641-642 |
| 1988 |
|---|
| 2 | | Peter B. Andrews,
Sunil Issar,
Daniel Nesmith,
Frank Pfenning:
The TPS Theorem Proving System.
CADE 1988: 760-761 |
| 1986 |
|---|
| 1 | | Peter B. Andrews,
Frank Pfenning,
Sunil Issar,
C. P. Klapper:
The TPS Theorem Proving System.
CADE 1986: 663-664 |
