Login / Signup
Games for Dependent Types.
Samson Abramsky
Radha Jagadeesan
Matthijs Vákár
Published in:
CoRR (2015)
Keyphrases
</>
real time
databases
game theory
video games
data mining
genetic algorithm
design process
learning experience
computer games
digital games
cooperative game