`Travelled to:`

1 × USA

`Collaborated with:`

P.B.Andrews F.Pfenning D.Nesmith D.Nesmith C.P.Klapper

`Talks about:`

theorem (3) system (3) prove (3) tps (3)

## Person: Sunil Issar

### DBLP: Issar:Sunil

### Contributed to:

### Wrote 3 papers:

- CADE-1990-AndrewsINP #proving #theorem proving
- The TPS Theorem Proving System (PBA, SI, DN, FP), pp. 641–642.
- CADE-1988-AndrewsINP #proving #theorem proving
- The TPS Theorem Proving System (PBA, SI, DN, FP), pp. 760–761.
- CADE-1986-AndrewsPIK #proving #theorem proving
- The TPS Theorem Proving System (PBA, FP, SI, CPK), pp. 663–664.