Study on the Theorem Proving of Plance Pencil Equation.

GuoKun Xia LinTao Kong YinLi Liu Jia Liao RuiHai Zhang Yingjie 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