Login / Signup
Proof of Work can Work.
Debin Liu
L. Jean Camp
Published in:
WEIS (2006)
Keyphrases
</>
theorem prover
theorem proving
image processing
multimedia
three dimensional
cooperative
special case
description logics
linear logic