Login / Signup

Hybrid Interactive Theorem Proving Using Nuprl and HOL.

Amy P. FeltyDouglas 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