top
Biblioteche
Info
Contattaci
Persona
Opera
Persona
Opera
Persona/Opera
Vai a Pubblicazioni
Opera/Pubblicazioni
Espandi
Riduci
Pubblicazioni
DTP '13 : proceedings of the 2013 ACM SIGPLAN Workshop on Dependently-Typed Programming : September 24, 2013, Boston, Massachusetts, USA
Export / Download
PDF
Excel
Unimarc (binario)
Marc XML
Marc (testo)
DTP '13 : proceedings of the 2013 ACM SIGPLAN Workshop on Dependently-Typed Programming : September 24, 2013, Boston, Massachusetts, USA
ID:
2216892
Creatori:
(868262) Weirich, Stephanie
...