Login / Signup
Partizan Games in Isabelle/HOLZF.
Steven Obua
Published in:
ICTAC (2006)
Keyphrases
</>
computer games
theorem prover
video games
game theory
game design
game playing
general game playing
game theoretic
serious games
natural deduction
game play
digital games
nash equilibria
coalitional games
game players
educational games
games played