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.