top
Biblioteche
Info
Contattaci
Persona
Opera
Persona
Opera
Persona/Opera
Vai a Pubblicazioni
Opera/Pubblicazioni
Espandi
Riduci
Pubblicazioni
Computational logic and proof theory third Kurt Gödel colloquium KGC'93: Brno, Czech Republic, August 24-27, 1993 proccedings
Export / Download
PDF
Excel
Unimarc (binario)
Marc XML
Marc (testo)
Computational logic and proof theory
ID:
1487570
Creatori:
(745712) Kurt Gödel colloquium KGC'93 3. Brno 1993
...
Persona
Opera