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