Login / Signup
Hybrid Interactive Theorem Proving Using Nuprl and HOL.
Amy P. Felty
Douglas J. Howe
Published in:
CADE (1997)
Keyphrases
</>
interactive theorem proving
data sets
machine learning
website
formal methods
database
neural network
decision trees
search algorithm
artificial neural networks
scheduling problem
case based reasoning