6 search results - page 2 / 2 » The development of CASC |
TPHOL
2005
IEEE
13 years 12 months ago
2005
IEEE
Abstract. We present a set of problems that may support the development of calculi and theorem provers for classical higher-order logic. We propose to employ these test problems as...