Blockchain using Proof-of-Interaction.

Jean-Philippe Abegg Quentin Bramas Thomas Noël

Published in: CoRR (2020)

Keyphrases

human computer interaction
databases
case study
theorem prover
neural network
machine learning
artificial intelligence
theorem proving
multimodal interaction