Login / Signup

OR-ATP: An Operation Refinement Approach As a Process of Automatic Theorem Proving.

Shuaiqiang WangJiancheng WanJinkui Hou
Published in: SNPD (3) (2007)
Keyphrases
  • automatic theorem proving
  • neural network
  • data mining
  • e learning
  • three dimensional
  • step wise
  • data sets
  • databases
  • objective function
  • special case
  • development process
  • decision process
  • refinement process