- a new proof.

Youjiang Lin Gangsong Leng

Published in: Discret. Math. (2010)

Keyphrases

theorem proving
linear logic
database
decision trees
cooperative
theorem prover
proof planning
data sets
databases
information retrieval
multiscale
support vector
probability distribution
automated theorem proving
formal proof
geometry theorem proving