Existence of Nash Equilibria in Preference Priority Games Proven in Isabelle
Smaus, Jan-Georg ; Le Roux, Stéphane ; Martin-Dorel, Érik
Kurt Gödel Day and Czech Gathering of Logicians Brno, 2021, 2021
Sem texto completo
- Buscando por
- emscope:(USP_VIDEOS),scope:("PRIMO"),scope:(USP_FISICO),scope:(USP_EREVISTAS),scope:(USP),scope:(USP_EBOOKS),scope:(USP_PRODUCAO),primo_central_multiple_fe
- Mostrar o que foi encontrado até o momento