Publications :: Search

Show author

On this page you see the details of the selected author.

Author information
First name:	C. P.
Last name:	Klapper
DBLP:	43/5040
Rating:	(not rated yet)
Bookmark:

Below you find the publications which have been written by this author.

Show item 1 to 1 of 1  

Select a publication
Show	Title	Venue	Rating	Date
	Conference paper Peter B. Andrews, Frank Pfenning, Sunil Issar, C. P. Klapper. The TPS Theorem Proving System.	8th International Conference on Automated Deduction, Oxford, England, July 27 - August 1, 1986, Proceedings 1986	(0)	1986

Show item 1 to 1 of 1  

Your query returned 1 matches in the database.