Login / Signup
PIDE for Asynchronous Interaction with Coq.
Carst Tankink
Published in:
UITP (2014)
Keyphrases
</>
asynchronous communication
human computer interaction
user interaction
data sets
bayesian networks