`Collaborated with:`

P.B.Andrews F.Pfenning S.Issar

`Talks about:`

theorem (1) system (1) prove (1) tps (1)

## Person: C. P. Klapper

### DBLP: Klapper:C=_P=

### Contributed to:

### Wrote 1 papers:

- CADE-1986-AndrewsPIK #proving #theorem proving
- The TPS Theorem Proving System (PBA, FP, SI, CPK), pp. 663–664.