C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Multi-prover proof of retrievability.
Maura B. Paterson
Douglas R. Stinson
Jalaj Upadhyay
Published in:
J. Math. Cryptol. (2018)
Keyphrases
</>
theorem proving
theorem prover
automated theorem proving
proof search
data sets
neural network
real world
databases
search engine
first order logic
inference rules