Login / Signup
The Truth Behind the Myth of the Folk Theorem.
Joseph Y. Halpern
Rafael Pass
Lior Seeman
Published in:
CoRR (2013)
Keyphrases
</>
von neumann
similarity measure
valued logic
artificial intelligence
decision making
preprocessing
evolutionary algorithm
interactive theorem proving