Linking Game-Theoretical Approaches with Constructive Type Theory
Elemento
- Título
- Linking Game-Theoretical Approaches with Constructive Type Theory
- Autores
- Clerbout
- Año Publicación
- 2015
- Editorial
- Springer International Publishing
- ISBN
- 978-3-319-19062-4
- eBook
- 978-3-319-19063-1
- Colecciones
- Springer