Sign in

Study on the Theorem Proving of Plance Pencil Equation.

GuoKun XiaLinTao KongYinLi LiuJia LiaoRuiHai ZhangYingjie Zhu
Published in: ICICA (1) (2011)
Keyphrases
  • theorem proving
  • theorem prover
  • first order logic
  • inference rules
  • decision procedures
  • automatic programming
  • term rewriting
  • machine learning
  • parallel search
  • description logics
  • proof planning