Login / Signup
Towards Systematic Analysis of Theorem Provers Search Spaces: First Steps.
Hicham Bensaid
Ricardo Caferra
Nicolas Peltier
Published in:
WoLLIC (2007)
Keyphrases
</>
theorem prover
statistical analysis
theorem proving
higher order