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 2004, Jouy-en-Josas, France, December 15-18, 2004 : revised selected papers
Export / Download
PDF
Excel
Unimarc (binario)
Marc XML
Marc (testo)
Types for proofs and programs
ID:
4186561
Creatori:
(973959) Filliâtre, Jean-Christophe
...
(1751570) Paulin-Mohring Christine 1962-
...
(1751571) Werner, Benjamin
...