
Search the dblp DataBase
Sunil Issar:
[Publications]
[Author Rank by year]
[Coauthors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
 Sunil Issar
PathFocused Duplication: A Search Procedure for General Matings. [Citation Graph (0, 0)][DBLP] AAAI, 1990, pp:221226 [Conf]
 Peter B. Andrews, Sunil Issar, Daniel Nesmith, Frank Pfenning
The TPS Theorem Proving System. [Citation Graph (0, 0)][DBLP] CADE, 1988, pp:760761 [Conf]
 Peter B. Andrews, Sunil Issar, Dan Nesmith, Frank Pfenning
The TPS Theorem Proving System. [Citation Graph (0, 0)][DBLP] CADE, 1990, pp:641642 [Conf]
 Peter B. Andrews, Frank Pfenning, Sunil Issar, C. P. Klapper
The TPS Theorem Proving System. [Citation Graph (0, 0)][DBLP] CADE, 1986, pp:663664 [Conf]
 Wayne Ward, Sunil Issar
Recent Improvements in the CMU Spoken Language Understanding System. [Citation Graph (0, 0)][DBLP] HLT, 1994, pp: [Conf]
 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. [Citation Graph (0, 0)][DBLP] HUG, 1993, pp:366370 [Conf]
 Peter B. Andrews, Matthew Bishop, Sunil Issar, Dan Nesmith, Frank Pfenning, Hongwei Xi
TPS: A TheoremProving System for Classical Type Theory. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 1996, v:16, n:3, pp:321353 [Journal]
 Peter B. Andrews, Chad E. Brown, Frank Pfenning, Matthew Bishop, Sunil Issar, Hongwei Xi
ETPS: A System to Help Students Write Formal Proofs. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 2004, v:32, n:1, pp:7592 [Journal]
Search in 0.003secs, Finished in 0.003secs
