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