Login / Signup
Explicit Proofs and The Flip
Ketan Mulmuley
Published in:
CoRR (2010)
Keyphrases
</>
theorem proving
decision procedures
database
decision trees
trade off
mathematical proofs
databases
data mining
computer vision
image processing
web services
high level
theorem prover
natural deduction
proof search