Login / Signup
Modelling Bitcoin in Agda.
Anton Setzer
Published in:
CoRR (2018)
Keyphrases
</>
three dimensional
databases
information retrieval
metadata
multiscale
medical images
conceptual modelling
multiresolution
credit card