Login / Signup
Multi-prover Proof-of-Retrievability.
Maura B. Paterson
Douglas R. Stinson
Jalaj Upadhyay
Published in:
CoRR (2016)
Keyphrases
</>
theorem prover
theorem proving
automated theorem proving
proof search
databases
first order logic
computer vision
website
inference rules
database
neural network
knowledge base
multiscale
evolutionary algorithm
data model
probabilistic model