Carl P. Klapper

According to our database, Carl P. Klapper authored at least 1 paper in 1986.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1986

The TPS Theorem Proving System.

Peter B. Andrews, Frank Pfenning, Sunil Issar, Carl P. Klapper

Proceedings of the 8th International Conference on Automated Deduction, Oxford, England, July 27, 1986