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 2000 Durham ,UK, December 8-12, 2000 Selected papers
Export / Download
PDF
Excel
Unimarc (binario)
Marc XML
Marc (testo)
Types for proofs and programs
ID:
981087
Creatori:
(554397) International workshop, TYPES 2000 <2000 ; Durham ; UK >
...