Login / Signup
The Burden of Proof: Part II.
David B. Fogel
Published in:
WCCI (2008)
Keyphrases
</>
theorem prover
theorem proving
linear logic
objective function
digital libraries
information retrieval
artificial intelligence
high level
similarity measure
bayesian networks
data streams
object recognition
preprocessing
automated theorem proving
proof search
formal proof