top
Biblioteche
Info
Contattaci
Persona
Opera
Persona
Opera
Persona/Opera
Vai a Pubblicazioni
Opera/Pubblicazioni
Espandi
Riduci
Pubblicazioni
Computational logic and proof theory 5th Kurt Godel colloquim, KGC'97 :Vienna, Austria, August 25-29, 1997 proceedings
Export / Download
PDF
Excel
Unimarc (binario)
Marc XML
Marc (testo)
Computational logic and proof theory
ID:
1516255
Creatori:
(753711) Kurt Godel colloquim KGC'97 5. Vienna 1997
...