Login / Signup
Sustainable blockchain through proof of exercise.
Ali Shoker
Published in:
NCA (2017)
Keyphrases
</>
theorem prover
cost effective
management system
theorem proving
multiscale
water resources
proof planning
database
neural network
multimedia
case study
user interface
linear logic
automated theorem proving
formal proof