C. P. Klapper

	1986
1		Peter B. Andrews, Frank Pfenning, Sunil Issar, C. P. Klapper: The TPS Theorem Proving System. CADE 1986: 663-664

Coauthor Index

1	Peter B. Andrews	[1]
2	Sunil Issar	[1]
3	Frank Pfenning	[1]

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page