Login / Signup
Proof of Multicopy via Proof of File Position in Cloud.
Huajun Zhang
Zhenfu Cao
Xiaolei Dong
Jiachen Shen
Published in:
Fundam. Informaticae (2018)
Keyphrases
</>
theorem prover
theorem proving
database
real time
data sets
information retrieval
social networks
cloud computing
mathematical proofs
feature selection
e learning
geometry theorem proving