Login / Signup
Premise Selection and External Provers for HOL4.
Thibault Gauthier
Cezary Kaliszyk
Published in:
CPP (2015)
Keyphrases
</>
theorem prover
theorem proving
data sets
data mining
face recognition
inference rules
selection scheme
natural deduction