Sign in

Proof of Multicopy via Proof of File Position in Cloud.

Huajun ZhangZhenfu CaoXiaolei DongJiachen 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