Login / Signup
Recording Completion for Certificates in Equational Reasoning.
Thomas Sternagel
Sarah Winkler
Harald Zankl
Published in:
CPP (2015)
Keyphrases
</>
learning environment
access control
public key
magnetic recording
multimedia
computer simulation
magnetic tape
neural network
knowledge base
high density