Login / Signup

Dependent Types for Extensive Games.

Pierre Lescanne
Published in: J. Formaliz. Reason. (2018)
Keyphrases
  • real world
  • game theory
  • neural network
  • case study
  • game theoretic
  • database
  • real time
  • artificial intelligence
  • information systems
  • computer games
  • video games