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