top
Biblioteche
Info
Contattaci
Persona
Opera
Persona
Opera
Persona/Opera
Vai a Pubblicazioni
Opera/Pubblicazioni
Espandi
Riduci
Pubblicazioni
Interactive theorem proving 1st International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010 : proceedings
Export / Download
PDF
Excel
Unimarc (binario)
Marc XML
Marc (testo)
Interactive theorem proving
ID:
4194334
Creatori:
(62096) Paulson, Lawrence C.
...
(1756810) Kaufmann, Matt
...
Persona
Opera