Login / Signup
ProveDoc: A Blockchain Based Proof of Existence with Proof of Storage.
Sireesha Chiliveri
Jyostna Grandhi
Mahesh Uttam Patil
P. R. Lakshmi Eswari
Magesh Ethirajan
Published in:
ICIT (2019)
Keyphrases
</>
theorem proving
learning environment
theorem prover
storage space
linear logic
proof planning
data sets
databases
machine learning
information systems
multimedia
sufficient conditions
proof search