Linking Game-Theoretical Approaches with Constructive Type Theory
de Nicolas Clerbout, Shahid Rahman
Materias
Ediciones (2)
- Linking Game-Theoretical Approaches with Constructive Type Theory (2015)
Springer · ISBN 9783319190624
- Linking Game-Theoretical Approaches with Constructive Type Theory (2015)
Springer London, Limited · inglés · ISBN 9783319190631
