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

Sunil Issar Vis

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

*2004
8EEPeter 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
6EEWayne Ward, Sunil Issar: Recent Improvements in the CMU Spoken Language Understanding System. HLT 1994
1993
5EEPeter 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
3EEPeter B. Andrews, Sunil Issar, Dan Nesmith, Frank Pfenning: The TPS Theorem Proving System. CADE 1990: 641-642
1988
2EEPeter B. Andrews, Sunil Issar, Daniel Nesmith, Frank Pfenning: The TPS Theorem Proving System. CADE 1988: 760-761
1986
1EEPeter B. Andrews, Frank Pfenning, Sunil Issar, C. P. Klapper: The TPS Theorem Proving System. CADE 1986: 663-664

Coauthor Index

1Peter B. Andrews [1] [2] [3] [5] [7] [8]
2Matthew Bishop [5] [7] [8]
3Chad E. Brown [8]
4C. P. Klapper [1]
5Daniel Nesmith (Dan Nesmith) [2] [3] [5] [7]
6Frank Pfenning [1] [2] [3] [5] [7] [8]
7Wayne Ward [6]
8Hongwei Xi [5] [7] [8]

Colors in the list of coauthors

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