Minimizing Deduction System and its Application.

Zhe Cen Xiutao Feng Zhangyi Wang Chunping Cao

Published in: CoRR (2020)

Keyphrases

inference rules
theorem proving
automated theorem proving
data sets
computer algebra
databases
artificial intelligence
e learning
image processing
three dimensional
special case
theorem prover
automated deduction