C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Capturing Hiproofs in HOL Light.
Steven Obua
Mark Adams
David Aspinall
Published in:
CoRR (2013)
Keyphrases
</>
theorem prover
viewpoint
light scattering
neural network
digital libraries
natural deduction
data mining
bayesian networks
higher order
theorem proving
liquid crystal