3 search results - page 1 / 1 » Sledgehammer: Judgement Day |
CADE
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. Sledgehammer, a component of the interactive theorem prover Isabelle, finds proofs in higher-order logic by calling the automated provers for first-order logic E, SPASS a...
ANOR
2007
13 years 4 months ago
2007
Abstract The pervasiveness and impact on society and on every day human life of technology has led to a growing awareness that science and technology cannot be considered above or ...
WWW
2006
ACM
14 years 5 months ago
2006
ACM
This paper presents a simple and intuitive method for mining search engine query logs to get fast query recommendations on a large scale industrial-strength search engine. In orde...