top
Biblioteche
Info
Contattaci
Persona
Opera
Persona
Opera
Persona/Opera
Vai a Pubblicazioni
Opera/Pubblicazioni
Espandi
Riduci
Pubblicazioni
Types for Proofs and Programs International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers
Export / Download
PDF
Excel
Unimarc (binario)
Marc XML
Marc (testo)
Types for proofs and programs
ID:
4194336
Creatori:
(930976) Altenkirch, Thorsten, 1962-...
...
(1756812) McBride, Conor
...
Persona
Opera