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