Linking Game-Theoretical Approaches with Constructive Type Theory
Elemento
- Título (dcterms:title)
- Linking Game-Theoretical Approaches with Constructive Type Theory
- Autores (dcterms:creator)
- Clerbout
- Año Publicación (dcterms:date)
- 2015
- Editorial (dcterms:publisher)
- Springer International Publishing
- ISBN (bibo:isbn)
- 978-3-319-19062-4
- eBook (bibo:isbn13)
- 978-3-319-19063-1
- PDF (bibo:uri)
- https://cutt.ly/4b3WCAe
- EPUB (foaf:workInfoHomepage)
- https://cutt.ly/Lb3WtKO
- Colecciones
- Springer
Position: 1607 (3 views)